Fiona is green. Fiona is quiet. Fiona is smart. Fiona is white. Fiona is young. Gary is nice. Gary is quiet. Gary is red. Gary is smart. Gary is white. If something is green and smart then it is quiet. Quiet, green things are nice. If Fiona is white then Fiona is quiet. If something is young and white then it is quiet. If Fiona is young and Fiona is smart then Fiona is white. If something is young then it is red.
Fiona is smart.
@0: Fiona is green.[(triple1)] Fiona is quiet.[(triple2 OR ((triple4) -> rule3) OR ((triple1 triple3) -> rule1) OR ((triple5 triple4) -> rule4) OR ((((triple5 triple3) -> rule5)) -> rule3) OR ((triple5 ((triple5 triple3) -> rule5)) -> rule4))] Fiona is smart.[(triple3)] Fiona is white.[(triple4 OR ((triple5 triple3) -> rule5))] Fiona is young.[(triple5)] Gary is nice.[(triple6)] Gary is quiet.[(triple7)] Gary is red.[(triple8)] Gary is smart.[(triple9)] Gary is white.[(triple10)] @1: Fiona is nice.[(((triple2 triple1) -> rule2) OR ((((triple4) -> rule3) triple1) -> rule2) OR ((((triple1 triple3) -> rule1) triple1) -> rule2) OR ((((triple5 triple4) -> rule4) triple1) -> rule2) OR ((((((triple5 triple3) -> rule5)) -> rule3) triple1) -> rule2) OR ((((triple5 ((triple5 triple3) -> rule5)) -> rule4) triple1) -> rule2))] Fiona is red.[(((triple5) -> rule6))]