Charlie is green. Charlie is quiet. Gary is big. Gary is cold. Gary is quiet. Gary is white. Harry is big. Harry is cold. Harry is green. Harry is quiet. Harry is white. Harry is young. All big things are white. If something is big and young then it is quiet. If Harry is big and Harry is cold then Harry is green. All green, white things are cold. Young, cold things are big. All big, quiet things are smart.
Charlie is young.
@0: Charlie is green.[(triple1)] Charlie is quiet.[(triple2)] Gary is big.[(triple3)] Gary is cold.[(triple4)] Gary is quiet.[(triple5)] Gary is white.[(triple6 OR ((triple3) -> rule1))] Harry is big.[(triple7 OR ((triple12 triple8) -> rule5) OR ((triple12 ((triple9 triple11) -> rule4)) -> rule5))] Harry is cold.[(triple8 OR ((triple9 triple11) -> rule4) OR ((triple9 ((triple7) -> rule1)) -> rule4))] Harry is green.[(triple9 OR ((triple7 triple8) -> rule3) OR ((((triple12 triple8) -> rule5) triple8) -> rule3))] Harry is quiet.[(triple10 OR ((triple7 triple12) -> rule2) OR ((((triple12 triple8) -> rule5) triple12) -> rule2) OR ((((triple12 ((triple9 triple11) -> rule4)) -> rule5) triple12) -> rule2))] Harry is white.[(triple11 OR ((triple7) -> rule1) OR ((((triple12 triple8) -> rule5)) -> rule1))] Harry is young.[(triple12)] @1: Gary is smart.[(((triple3 triple5) -> rule6))] Harry is smart.[(((triple7 triple10) -> rule6) OR ((triple7 ((triple7 triple12) -> rule2)) -> rule6) OR ((((triple12 triple8) -> rule5) triple10) -> rule6) OR ((((triple12 triple8) -> rule5) ((triple7 triple12) -> rule2)) -> rule6) OR ((triple7 ((((triple12 triple8) -> rule5) triple12) -> rule2)) -> rule6) OR ((((triple12 ((triple9 triple11) -> rule4)) -> rule5) triple10) -> rule6) OR ((((triple12 triple8) -> rule5) ((((triple12 triple8) -> rule5) triple12) -> rule2)) -> rule6) OR ((((triple12 ((triple9 triple11) -> rule4)) -> rule5) ((triple7 triple12) -> rule2)) -> rule6) OR ((((triple12 ((triple9 triple11) -> rule4)) -> rule5) ((((triple12 triple8) -> rule5) triple12) -> rule2)) -> rule6) OR ((triple7 ((((triple12 ((triple9 triple11) -> rule4)) -> rule5) triple12) -> rule2)) -> rule6) OR ((((triple12 triple8) -> rule5) ((((triple12 ((triple9 triple11) -> rule4)) -> rule5) triple12) -> rule2)) -> rule6) OR ((((triple12 ((triple9 triple11) -> rule4)) -> rule5) ((((triple12 ((triple9 triple11) -> rule4)) -> rule5) triple12) -> rule2)) -> rule6))]