Charlie is big. Charlie is blue. Charlie is furry. Charlie is smart. Gary is blue. Gary is furry. Gary is nice. Gary is white. Gary is young. Harry is big. Harry is blue. Harry is furry. Harry is nice. Harry is smart. Harry is white. Harry is young. Smart, blue people are white. If someone is big and young then they are smart.
Gary is not smart.
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2)] Charlie is furry.[(triple3)] Charlie is smart.[(triple4)] Gary is blue.[(triple5)] Gary is furry.[(triple6)] Gary is nice.[(triple7)] Gary is white.[(triple8)] Gary is young.[(triple9)] Harry is big.[(triple10)] Harry is blue.[(triple11)] Harry is furry.[(triple12)] Harry is nice.[(triple13)] Harry is smart.[(triple14 OR ((triple10 triple16) -> rule2))] Harry is white.[(triple15 OR ((triple14 triple11) -> rule1) OR ((((triple10 triple16) -> rule2) triple11) -> rule1))] Harry is young.[(triple16)] @1: Charlie is white.[(((triple4 triple2) -> rule1))]