Anne is kind. Anne is red. Fiona is big. Fiona is smart. Fiona is young. Gary is young. Harry is big. All kind people are rough. Big people are blue. If someone is smart then they are red. All rough, blue people are smart. All young people are rough. Young, kind people are big. Blue, kind people are young. Rough, young people are kind.
Harry is not rough.
@0: Anne is kind.[(triple1)] Anne is red.[(triple2)] Fiona is big.[(triple3 OR ((triple5 ((((triple5) -> rule5) triple5) -> rule8)) -> rule6))] Fiona is smart.[(triple4 OR ((((triple5) -> rule5) ((triple3) -> rule2)) -> rule4) OR ((((triple5) -> rule5) ((((triple5 ((((triple5) -> rule5) triple5) -> rule8)) -> rule6)) -> rule2)) -> rule4))] Fiona is young.[(triple5)] Gary is young.[(triple6)] Harry is big.[(triple7)] @1: Anne is rough.[(((triple1) -> rule1))] Fiona is blue.[(((triple3) -> rule2) OR ((((triple5 ((((triple5) -> rule5) triple5) -> rule8)) -> rule6)) -> rule2))] Fiona is red.[(((triple4) -> rule3) OR ((((((triple5) -> rule5) ((triple3) -> rule2)) -> rule4)) -> rule3) OR ((((((triple5) -> rule5) ((((triple5 ((((triple5) -> rule5) triple5) -> rule8)) -> rule6)) -> rule2)) -> rule4)) -> rule3))] Fiona is rough.[(((triple5) -> rule5))] Gary is rough.[(((triple6) -> rule5))] Harry is blue.[(((triple7) -> rule2))] @2: Fiona is kind.[(((((triple5) -> rule5) triple5) -> rule8))] Gary is kind.[(((((triple6) -> rule5) triple6) -> rule8))] @3: Gary is big.[(((triple6 ((((triple6) -> rule5) triple6) -> rule8)) -> rule6))] @4: Gary is blue.[(((((triple6 ((((triple6) -> rule5) triple6) -> rule8)) -> rule6)) -> rule2))] @5: Gary is smart.[(((((triple6) -> rule5) ((((triple6 ((((triple6) -> rule5) triple6) -> rule8)) -> rule6)) -> rule2)) -> rule4))] @6: Gary is red.[(((((((triple6) -> rule5) ((((triple6 ((((triple6) -> rule5) triple6) -> rule8)) -> rule6)) -> rule2)) -> rule4)) -> rule3))]