Gary is cold. Gary is rough. Gary is white. Gary is young. Harry is cold. Harry is kind. Harry is quiet. Harry is red. Harry is white. Harry is young. Kind, red people are quiet. All red people are kind. If Harry is red and Harry is rough then Harry is kind. If someone is kind and rough then they are red. If Gary is quiet then Gary is white. All rough, young people are kind.
Gary is red.
@0: Gary is cold.[(triple1)] Gary is rough.[(triple2)] Gary is white.[(triple3 OR ((((((triple2 triple4) -> rule6) ((((triple2 triple4) -> rule6) triple2) -> rule4)) -> rule1)) -> rule5))] Gary is young.[(triple4)] Harry is cold.[(triple5)] Harry is kind.[(triple6 OR ((triple8) -> rule2))] Harry is quiet.[(triple7 OR ((triple6 triple8) -> rule1) OR ((((triple8) -> rule2) triple8) -> rule1))] Harry is red.[(triple8)] Harry is white.[(triple9)] Harry is young.[(triple10)] @1: Gary is kind.[(((triple2 triple4) -> rule6))] @2: Gary is red.[(((((triple2 triple4) -> rule6) triple2) -> rule4))] @3: Gary is quiet.[(((((triple2 triple4) -> rule6) ((((triple2 triple4) -> rule6) triple2) -> rule4)) -> rule1))]