Bob is rough. Fiona is smart. Harry is nice. If someone is rough then they are green. Green, white people are red. Rough people are smart. If Harry is green and Harry is rough then Harry is white. All white, smart people are furry. Rough people are green. If someone is green then they are white. Green people are red.
Bob is green.
@0: Bob is rough.[(triple1)] Fiona is smart.[(triple2)] Harry is nice.[(triple3)] @1: Bob is green.[(((triple1) -> rule1) OR ((triple1) -> rule6))] Bob is smart.[(((triple1) -> rule3))] @2: Bob is red.[(((((triple1) -> rule1)) -> rule8) OR ((((triple1) -> rule6)) -> rule8) OR ((((triple1) -> rule1) ((((triple1) -> rule1)) -> rule7)) -> rule2) OR ((((triple1) -> rule1) ((((triple1) -> rule6)) -> rule7)) -> rule2) OR ((((triple1) -> rule6) ((((triple1) -> rule1)) -> rule7)) -> rule2) OR ((((triple1) -> rule6) ((((triple1) -> rule6)) -> rule7)) -> rule2))] Bob is white.[(((((triple1) -> rule1)) -> rule7) OR ((((triple1) -> rule6)) -> rule7))] @3: Bob is furry.[(((((((triple1) -> rule1)) -> rule7) ((triple1) -> rule3)) -> rule5) OR ((((((triple1) -> rule6)) -> rule7) ((triple1) -> rule3)) -> rule5))]