Anne is blue. Anne is red. Anne is young. Fiona is young. Harry is big. Harry is blue. Harry is kind. Harry is nice. Harry is quiet. Harry is red. If Fiona is kind and Fiona is blue then Fiona is nice. All nice people are kind. All quiet, blue people are nice. If Harry is big and Harry is quiet then Harry is nice. All kind people are red. If Fiona is big and Fiona is kind then Fiona is young.
Harry is not red.
@0: Anne is blue.[(triple1)] Anne is red.[(triple2)] Anne is young.[(triple3)] Fiona is young.[(triple4)] Harry is big.[(triple5)] Harry is blue.[(triple6)] Harry is kind.[(triple7 OR ((triple8) -> rule2) OR ((((triple5 triple9) -> rule4)) -> rule2) OR ((((triple9 triple6) -> rule3)) -> rule2))] Harry is nice.[(triple8 OR ((triple5 triple9) -> rule4) OR ((triple9 triple6) -> rule3))] Harry is quiet.[(triple9)] Harry is red.[(triple10 OR ((triple7) -> rule5) OR ((((triple8) -> rule2)) -> rule5) OR ((((((triple5 triple9) -> rule4)) -> rule2)) -> rule5) OR ((((((triple9 triple6) -> rule3)) -> rule2)) -> rule5))]