Anne is big. Anne is nice. Anne is quiet. Anne is red. Anne is smart. Anne is not young. Fiona is big. Fiona is nice. Fiona is not quiet. Fiona is smart. Fiona is not white. Harry is big. Harry is quiet. Harry is red. Harry is smart. Harry is white. Quiet people are red. White people are not young. All red, smart people are nice. If Fiona is big and Fiona is smart then Fiona is young. If someone is smart and not quiet then they are not white. If Harry is not nice then Harry is big.
Fiona is not red.
@0: Anne is big.[(triple1)] Anne is nice.[(triple2 OR ((triple4 triple5) -> rule3) OR ((((triple3) -> rule1) triple5) -> rule3))] Anne is not young.[(triple6)] Anne is quiet.[(triple3)] Anne is red.[(triple4 OR ((triple3) -> rule1))] Anne is smart.[(triple5)] Fiona is big.[(triple7)] Fiona is nice.[(triple8)] Fiona is not quiet.[(triple9)] Fiona is not white.[(triple11 OR ((triple10 triple9) -> rule5))] Fiona is smart.[(triple10)] Harry is big.[(triple12)] Harry is quiet.[(triple13)] Harry is red.[(triple14 OR ((triple13) -> rule1))] Harry is smart.[(triple15)] Harry is white.[(triple16)] @1: Fiona is young.[(((triple7 triple10) -> rule4))] Harry is nice.[(((triple14 triple15) -> rule3) OR ((((triple13) -> rule1) triple15) -> rule3))] Harry is not young.[(((triple16) -> rule2))]