Charlie is cold. Charlie is furry. Charlie is green. Charlie is quiet. Charlie is round. Charlie is smart. Harry is green. Harry is kind. Harry is quiet. Harry is smart. If something is furry and round then it is cold. If something is kind then it is round. All quiet, round things are furry.
Harry is cold.
@0: Charlie is cold.[(triple1 OR ((triple2 triple5) -> rule1) OR ((((triple4 triple5) -> rule3) triple5) -> rule1))] Charlie is furry.[(triple2 OR ((triple4 triple5) -> rule3))] Charlie is green.[(triple3)] Charlie is quiet.[(triple4)] Charlie is round.[(triple5)] Charlie is smart.[(triple6)] Harry is green.[(triple7)] Harry is kind.[(triple8)] Harry is quiet.[(triple9)] Harry is smart.[(triple10)] @1: Harry is round.[(((triple8) -> rule2))] @2: Harry is furry.[(((triple9 ((triple8) -> rule2)) -> rule3))] @3: Harry is cold.[(((((triple9 ((triple8) -> rule2)) -> rule3) ((triple8) -> rule2)) -> rule1))]