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