Bob is green. Fiona is cold. Gary is green. Harry is rough. If Bob is green then Bob is round. If Fiona is green and Fiona is round then Fiona is rough. If someone is rough then they are smart. All nice, rough people are smart. Rough people are not cold. If someone is round then they are not nice.
Bob is green.
@0: Bob is green.[(triple1)] Fiona is cold.[(triple2)] Gary is green.[(triple3)] Harry is rough.[(triple4)] @1: Bob is round.[(((triple1) -> rule1))] Harry is not cold.[(((triple4) -> rule5))] Harry is smart.[(((triple4) -> rule3))] @2: Bob is not nice.[(((((triple1) -> rule1)) -> rule6))]