Charlie is round. Dave is round. Harry is rough. Round people are nice. If Charlie is round and Charlie is red then Charlie is cold. If someone is nice then they are red. All rough, nice people are blue. If Charlie is rough and Charlie is red then Charlie is furry. Nice people are blue.
Charlie is not furry.
@0: Charlie is round.[(triple1)] Dave is round.[(triple2)] Harry is rough.[(triple3)] @1: Charlie is nice.[(((triple1) -> rule1))] Dave is nice.[(((triple2) -> rule1))] @2: Charlie is blue.[(((((triple1) -> rule1)) -> rule6))] Charlie is red.[(((((triple1) -> rule1)) -> rule3))] Dave is blue.[(((((triple2) -> rule1)) -> rule6))] Dave is red.[(((((triple2) -> rule1)) -> rule3))] @3: Charlie is cold.[(((triple1 ((((triple1) -> rule1)) -> rule3)) -> rule2))]