Bob is cold. Bob is green. Bob is smart. Fiona is quiet. Gary is furry. Gary is quiet. Harry is rough. All smart people are red. If Harry is furry then Harry is quiet. All quiet people are green.
Fiona is quiet.
@0: Bob is cold.[(triple1)] Bob is green.[(triple2)] Bob is smart.[(triple3)] Fiona is quiet.[(triple4)] Gary is furry.[(triple5)] Gary is quiet.[(triple6)] Harry is rough.[(triple7)] @1: Bob is red.[(((triple3) -> rule1))] Fiona is green.[(((triple4) -> rule3))] Gary is green.[(((triple6) -> rule3))]