Anne is blue. Charlie is big. Gary is big. Gary is furry. Harry is big. Harry is blue. Harry is furry. If someone is rough and big then they are furry. Rough people are big. All big people are nice. All nice people are quiet. All furry, rough people are blue. If Gary is blue and Gary is young then Gary is rough. All young people are quiet. Nice people are rough.
Gary is not big.
@0: Anne is blue.[(triple1)] Charlie is big.[(triple2)] Gary is big.[(triple3)] Gary is furry.[(triple4 OR ((((((triple3) -> rule3)) -> rule8) triple3) -> rule1))] Harry is big.[(triple5)] Harry is blue.[(triple6 OR ((triple7 ((((triple5) -> rule3)) -> rule8)) -> rule5) OR ((((((((triple5) -> rule3)) -> rule8) triple5) -> rule1) ((((triple5) -> rule3)) -> rule8)) -> rule5))] Harry is furry.[(triple7 OR ((((((triple5) -> rule3)) -> rule8) triple5) -> rule1))] @1: Charlie is nice.[(((triple2) -> rule3))] Gary is nice.[(((triple3) -> rule3))] Harry is nice.[(((triple5) -> rule3))] @2: Charlie is quiet.[(((((triple2) -> rule3)) -> rule4))] Charlie is rough.[(((((triple2) -> rule3)) -> rule8))] Gary is quiet.[(((((triple3) -> rule3)) -> rule4))] Gary is rough.[(((((triple3) -> rule3)) -> rule8))] Harry is quiet.[(((((triple5) -> rule3)) -> rule4))] Harry is rough.[(((((triple5) -> rule3)) -> rule8))] @3: Charlie is furry.[(((((((triple2) -> rule3)) -> rule8) triple2) -> rule1))] Gary is blue.[(((triple4 ((((triple3) -> rule3)) -> rule8)) -> rule5) OR ((((((((triple3) -> rule3)) -> rule8) triple3) -> rule1) ((((triple3) -> rule3)) -> rule8)) -> rule5))] @4: Charlie is blue.[(((((((((triple2) -> rule3)) -> rule8) triple2) -> rule1) ((((triple2) -> rule3)) -> rule8)) -> rule5))]