Fiona is blue. Fiona is cold. Fiona is green. Fiona is rough. Gary is blue. Gary is cold. Gary is green. Gary is kind. Gary is nice. Gary is rough. Gary is young. Harry is blue. Harry is kind. Harry is nice. Harry is rough. Harry is young. If something is young and blue then it is kind. All cold things are blue. Blue things are nice. If Harry is blue and Harry is kind then Harry is young. All nice, green things are rough. If something is nice and young then it is rough.
Gary is nice.
@0: Fiona is blue.[(triple1 OR ((triple2) -> rule2))] Fiona is cold.[(triple2)] Fiona is green.[(triple3)] Fiona is rough.[(triple4 OR ((((triple1) -> rule3) triple3) -> rule5) OR ((((((triple2) -> rule2)) -> rule3) triple3) -> rule5))] Gary is blue.[(triple5 OR ((triple6) -> rule2))] Gary is cold.[(triple6)] Gary is green.[(triple7)] Gary is kind.[(triple8 OR ((triple11 triple5) -> rule1) OR ((triple11 ((triple6) -> rule2)) -> rule1))] Gary is nice.[(triple9 OR ((triple5) -> rule3) OR ((((triple6) -> rule2)) -> rule3))] Gary is rough.[(triple10 OR ((triple9 triple11) -> rule6) OR ((triple9 triple7) -> rule5) OR ((((triple5) -> rule3) triple11) -> rule6) OR ((((triple5) -> rule3) triple7) -> rule5) OR ((((((triple6) -> rule2)) -> rule3) triple11) -> rule6) OR ((((((triple6) -> rule2)) -> rule3) triple7) -> rule5))] Gary is young.[(triple11)] Harry is blue.[(triple12)] Harry is kind.[(triple13 OR ((triple16 triple12) -> rule1))] Harry is nice.[(triple14 OR ((triple12) -> rule3))] Harry is rough.[(triple15 OR ((triple14 triple16) -> rule6) OR ((triple14 ((triple12 triple13) -> rule4)) -> rule6) OR ((((triple12) -> rule3) triple16) -> rule6) OR ((((triple12) -> rule3) ((triple12 triple13) -> rule4)) -> rule6))] Harry is young.[(triple16 OR ((triple12 triple13) -> rule4))] @1: Fiona is nice.[(((triple1) -> rule3) OR ((((triple2) -> rule2)) -> rule3))]