Charlie is cold. Charlie is round. Charlie is not young. Gary is blue. Gary is cold. Gary is kind. Gary is nice. Gary is round. Gary is smart. Gary is young. Harry is kind. Harry is young. Nice things are blue. All round things are nice. Smart things are nice. Smart, nice things are round. If something is cold and smart then it is round. If something is kind then it is smart.
Charlie is cold.
@0: Charlie is cold.[(triple1)] Charlie is not young.[(triple3)] Charlie is round.[(triple2)] Gary is blue.[(triple4 OR ((triple7) -> rule1) OR ((((triple8) -> rule2)) -> rule1) OR ((((triple9) -> rule3)) -> rule1) OR ((((((triple6) -> rule6)) -> rule3)) -> rule1) OR ((((((triple5 triple9) -> rule5)) -> rule2)) -> rule1) OR ((((((triple5 ((triple6) -> rule6)) -> rule5)) -> rule2)) -> rule1))] Gary is cold.[(triple5)] Gary is kind.[(triple6)] Gary is nice.[(triple7 OR ((triple8) -> rule2) OR ((triple9) -> rule3) OR ((((triple6) -> rule6)) -> rule3) OR ((((triple5 triple9) -> rule5)) -> rule2) OR ((((triple5 ((triple6) -> rule6)) -> rule5)) -> rule2))] Gary is round.[(triple8 OR ((triple5 triple9) -> rule5) OR ((triple9 triple7) -> rule4) OR ((triple5 ((triple6) -> rule6)) -> rule5) OR ((triple9 ((triple9) -> rule3)) -> rule4) OR ((((triple6) -> rule6) triple7) -> rule4) OR ((((triple6) -> rule6) ((triple9) -> rule3)) -> rule4) OR ((triple9 ((((triple6) -> rule6)) -> rule3)) -> rule4) OR ((((triple6) -> rule6) ((((triple6) -> rule6)) -> rule3)) -> rule4))] Gary is smart.[(triple9 OR ((triple6) -> rule6))] Gary is young.[(triple10)] Harry is kind.[(triple11)] Harry is young.[(triple12)] @1: Charlie is nice.[(((triple2) -> rule2))] Harry is smart.[(((triple11) -> rule6))] @2: Charlie is blue.[(((((triple2) -> rule2)) -> rule1))] Harry is nice.[(((((triple11) -> rule6)) -> rule3))] @3: Harry is blue.[(((((((triple11) -> rule6)) -> rule3)) -> rule1))] Harry is round.[(((((triple11) -> rule6) ((((triple11) -> rule6)) -> rule3)) -> rule4))]