Bob is cold. Bob is round. Dave is green. If someone is round then they are nice. Rough, round people are big. All cold, round people are nice. If Dave is round then Dave is nice. If someone is round and cold then they are rough. All round, nice people are green. Nice, cold people are green. All nice people are round.
Bob is round.
@0: Bob is cold.[(triple1)] Bob is round.[(triple2)] Dave is green.[(triple3)] @1: Bob is nice.[(((triple2) -> rule1) OR ((triple1 triple2) -> rule3))] Bob is rough.[(((triple2 triple1) -> rule5))] @2: Bob is big.[(((((triple2 triple1) -> rule5) triple2) -> rule2))] Bob is green.[(((triple2 ((triple2) -> rule1)) -> rule6) OR ((triple2 ((triple1 triple2) -> rule3)) -> rule6) OR ((((triple2) -> rule1) triple1) -> rule7) OR ((((triple1 triple2) -> rule3) triple1) -> rule7))]