Charlie is blue. Charlie is green. Gary is furry. Gary is smart. Harry is blue. Harry is furry. Harry is green. Harry is not nice. Harry is rough. Harry is smart. If Gary is blue and Gary is smart then Gary is big. If something is smart and furry then it is blue. If Charlie is furry then Charlie is rough. If Charlie is nice then Charlie is big. If something is furry and not blue then it is big. Green, smart things are rough. All furry, big things are rough. If something is furry and not big then it is green.
Charlie is furry.
@0: Charlie is blue.[(triple1)] Charlie is green.[(triple2)] Gary is furry.[(triple3)] Gary is smart.[(triple4)] Harry is blue.[(triple5 OR ((triple10 triple6) -> rule2))] Harry is furry.[(triple6)] Harry is green.[(triple7)] Harry is not nice.[(triple8)] Harry is rough.[(triple9 OR ((triple7 triple10) -> rule6))] Harry is smart.[(triple10)] @1: Gary is blue.[(((triple4 triple3) -> rule2))] @2: Gary is big.[(((((triple4 triple3) -> rule2) triple4) -> rule1))] @3: Gary is rough.[(((triple3 ((((triple4 triple3) -> rule2) triple4) -> rule1)) -> rule7))]