Bob is rough. Bob is round. Bob is young. Fiona is not cold. Fiona is quiet. Gary is blue. Gary is rough. If Gary is young then Gary is blue. If something is round then it is blue. All round, blue things are young. All rough, young things are not kind. All blue things are round. All blue things are rough.
Gary is not young.
@0: Bob is rough.[(triple1 OR ((((triple2) -> rule2)) -> rule6))] Bob is round.[(triple2)] Bob is young.[(triple3 OR ((triple2 ((triple2) -> rule2)) -> rule3))] Fiona is not cold.[(triple4)] Fiona is quiet.[(triple5)] Gary is blue.[(triple6)] Gary is rough.[(triple7 OR ((triple6) -> rule6))] @1: Bob is blue.[(((triple2) -> rule2))] Bob is not kind.[(((triple1 triple3) -> rule4) OR ((triple1 ((triple2 ((triple2) -> rule2)) -> rule3)) -> rule4) OR ((((((triple2) -> rule2)) -> rule6) triple3) -> rule4) OR ((((((triple2) -> rule2)) -> rule6) ((triple2 ((triple2) -> rule2)) -> rule3)) -> rule4))] Gary is round.[(((triple6) -> rule5))] @2: Gary is young.[(((((triple6) -> rule5) triple6) -> rule3))] @3: Gary is not kind.[(((triple7 ((((triple6) -> rule5) triple6) -> rule3)) -> rule4) OR ((((triple6) -> rule6) ((((triple6) -> rule5) triple6) -> rule3)) -> rule4))]