Bob is big. Bob is green. Bob is red. Bob is smart. Charlie is big. Charlie is cold. Charlie is round. Charlie is smart. Gary is cold. Harry is green. Nice things are cold. Cold things are green. If Gary is round then Gary is red. If something is big and round then it is nice. Smart, red things are round. If Charlie is nice and Charlie is cold then Charlie is smart.
Charlie is nice.
@0: Bob is big.[(triple1)] Bob is green.[(triple2 OR ((((((triple1 ((triple4 triple3) -> rule5)) -> rule4)) -> rule1)) -> rule2))] Bob is red.[(triple3)] Bob is smart.[(triple4)] Charlie is big.[(triple5)] Charlie is cold.[(triple6 OR ((((triple5 triple7) -> rule4)) -> rule1))] Charlie is round.[(triple7)] Charlie is smart.[(triple8 OR ((((triple5 triple7) -> rule4) triple6) -> rule6) OR ((((triple5 triple7) -> rule4) ((((triple5 triple7) -> rule4)) -> rule1)) -> rule6))] Gary is cold.[(triple9)] Harry is green.[(triple10)] @1: Bob is round.[(((triple4 triple3) -> rule5))] Charlie is green.[(((triple6) -> rule2) OR ((((((triple5 triple7) -> rule4)) -> rule1)) -> rule2))] Charlie is nice.[(((triple5 triple7) -> rule4))] Gary is green.[(((triple9) -> rule2))] @2: Bob is nice.[(((triple1 ((triple4 triple3) -> rule5)) -> rule4))] @3: Bob is cold.[(((((triple1 ((triple4 triple3) -> rule5)) -> rule4)) -> rule1))]