Charlie is cold. Charlie is white. Gary is blue. Gary is furry. Gary is quiet. Harry is big. Harry is blue. Harry is cold. Harry is furry. Harry is quiet. Harry is smart. Harry is white. Cold, white things are big. If Charlie is quiet and Charlie is blue then Charlie is big. If Harry is quiet and Harry is big then Harry is blue.
Gary is not big.
@0: Charlie is cold.[(triple1)] Charlie is white.[(triple2)] Gary is blue.[(triple3)] Gary is furry.[(triple4)] Gary is quiet.[(triple5)] Harry is big.[(triple6 OR ((triple8 triple12) -> rule1))] Harry is blue.[(triple7 OR ((triple10 triple6) -> rule3) OR ((triple10 ((triple8 triple12) -> rule1)) -> rule3))] Harry is cold.[(triple8)] Harry is furry.[(triple9)] Harry is quiet.[(triple10)] Harry is smart.[(triple11)] Harry is white.[(triple12)] @1: Charlie is big.[(((triple1 triple2) -> rule1))]