Bob is blue. Bob is green. Charlie is blue. Charlie is round. Fiona is nice. Harry is kind. Harry is round. Round, kind people are nice. If someone is green then they are cold. If someone is nice then they are green.
Harry is not cold.
@0: Bob is blue.[(triple1)] Bob is green.[(triple2)] Charlie is blue.[(triple3)] Charlie is round.[(triple4)] Fiona is nice.[(triple5)] Harry is kind.[(triple6)] Harry is round.[(triple7)] @1: Bob is cold.[(((triple2) -> rule2))] Fiona is green.[(((triple5) -> rule3))] Harry is nice.[(((triple7 triple6) -> rule1))] @2: Fiona is cold.[(((((triple5) -> rule3)) -> rule2))] Harry is green.[(((((triple7 triple6) -> rule1)) -> rule3))] @3: Harry is cold.[(((((((triple7 triple6) -> rule1)) -> rule3)) -> rule2))]