Anne is quiet. Anne is white. Fiona is blue. Fiona is green. Fiona is kind. Fiona is nice. Gary is big. Gary is green. Gary is quiet. Gary is white. If something is white then it is nice. If something is big and kind then it is green. If Fiona is nice then Fiona is kind. Big things are kind. If something is blue and big then it is kind. Blue, quiet things are big. Green things are quiet. If Fiona is green then Fiona is nice.
Fiona is not nice.
@0: Anne is quiet.[(triple1)] Anne is white.[(triple2)] Fiona is blue.[(triple3)] Fiona is green.[(triple4)] Fiona is kind.[(triple5 OR ((triple6) -> rule3) OR ((((triple4) -> rule8)) -> rule3) OR ((((triple3 ((triple4) -> rule7)) -> rule6)) -> rule4) OR ((triple3 ((triple3 ((triple4) -> rule7)) -> rule6)) -> rule5))] Fiona is nice.[(triple6 OR ((triple4) -> rule8))] Gary is big.[(triple7)] Gary is green.[(triple8 OR ((triple7 ((triple7) -> rule4)) -> rule2))] Gary is quiet.[(triple9 OR ((triple8) -> rule7) OR ((((triple7 ((triple7) -> rule4)) -> rule2)) -> rule7))] Gary is white.[(triple10)] @1: Anne is nice.[(((triple2) -> rule1))] Fiona is quiet.[(((triple4) -> rule7))] Gary is kind.[(((triple7) -> rule4))] Gary is nice.[(((triple10) -> rule1))] @2: Fiona is big.[(((triple3 ((triple4) -> rule7)) -> rule6))]