Anne is cold. Anne is furry. Bob is furry. Bob is nice. Bob is quiet. Bob is rough. Bob is white. Charlie is nice. Charlie is smart. Harry is rough. Smart things are nice. If Anne is white and Anne is nice then Anne is smart. Smart, white things are quiet. Smart things are white. If something is nice and rough then it is white. If Harry is cold and Harry is furry then Harry is nice. All rough, smart things are cold. Furry, white things are cold.
Charlie is rough.
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2)] Bob is furry.[(triple3)] Bob is nice.[(triple4)] Bob is quiet.[(triple5)] Bob is rough.[(triple6)] Bob is white.[(triple7 OR ((triple4 triple6) -> rule5))] Charlie is nice.[(triple8 OR ((triple9) -> rule1))] Charlie is smart.[(triple9)] Harry is rough.[(triple10)] @1: Bob is cold.[(((triple3 triple7) -> rule8) OR ((triple3 ((triple4 triple6) -> rule5)) -> rule8))] Charlie is white.[(((triple9) -> rule4))] @2: Charlie is quiet.[(((triple9 ((triple9) -> rule4)) -> rule3))]