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