Anne is blue. Anne is quiet. Anne is red. Anne is not rough. Gary is blue. Gary is rough. Harry is not blue. Big things are not young. Big, smart things are quiet. All rough, young things are quiet. Red, blue things are quiet. If something is young and not blue then it is not rough. Red, big things are smart. All rough things are red. If something is red and rough then it is big.
Gary is smart.
@0: Anne is blue.[(triple1)] Anne is not rough.[(triple4)] Anne is quiet.[(triple2 OR ((triple3 triple1) -> rule4))] Anne is red.[(triple3)] Gary is blue.[(triple5)] Gary is rough.[(triple6)] Harry is not blue.[(triple7)] @1: Gary is red.[(((triple6) -> rule7))] @2: Gary is big.[(((((triple6) -> rule7) triple6) -> rule8))] Gary is quiet.[(((((triple6) -> rule7) triple5) -> rule4) OR ((((((triple6) -> rule7) triple6) -> rule8) ((((triple6) -> rule7) ((((triple6) -> rule7) triple6) -> rule8)) -> rule6)) -> rule2))] @3: Gary is not young.[(((((((triple6) -> rule7) triple6) -> rule8)) -> rule1))] Gary is smart.[(((((triple6) -> rule7) ((((triple6) -> rule7) triple6) -> rule8)) -> rule6))]