Fiona is blue. Fiona is nice. Fiona is round. Fiona is white. Gary is blue. Gary is green. Gary is nice. Gary is quiet. Gary is white. Harry is blue. Harry is green. Harry is not quiet. Harry is round. Harry is white. Harry is not young. If Fiona is nice and Fiona is blue then Fiona is white. White people are green. If Fiona is blue then Fiona is green. If someone is round and not young then they are blue. If Gary is quiet then Gary is white. If someone is quiet and green then they are white.
Fiona is green.
@0: Fiona is blue.[(triple1)] Fiona is nice.[(triple2)] Fiona is round.[(triple3)] Fiona is white.[(triple4 OR ((triple2 triple1) -> rule1))] Gary is blue.[(triple5)] Gary is green.[(triple6 OR ((triple9) -> rule2) OR ((((triple8) -> rule5)) -> rule2))] Gary is nice.[(triple7)] Gary is quiet.[(triple8)] Gary is white.[(triple9 OR ((triple8) -> rule5) OR ((triple8 triple6) -> rule6))] Harry is blue.[(triple10 OR ((triple13 triple15) -> rule4))] Harry is green.[(triple11 OR ((triple14) -> rule2))] Harry is not quiet.[(triple12)] Harry is not young.[(triple15)] Harry is round.[(triple13)] Harry is white.[(triple14)] @1: Fiona is green.[(((triple1) -> rule3) OR ((triple4) -> rule2) OR ((((triple2 triple1) -> rule1)) -> rule2))]