Fiona is blue. Fiona is furry. Fiona is green. Fiona is rough. Fiona is not smart. Fiona is young. Harry is blue. Harry is green. Harry is not smart. Harry is young. If Harry is blue and Harry is rough then Harry is young. Blue things are not white. If something is furry and not blue then it is not white. If Fiona is green and Fiona is not blue then Fiona is not rough. All green things are furry. If something is furry and not white then it is young.
Fiona is not green.
@0: Fiona is blue.[(triple1)] Fiona is furry.[(triple2 OR ((triple3) -> rule5))] Fiona is green.[(triple3)] Fiona is not smart.[(triple5)] Fiona is rough.[(triple4)] Fiona is young.[(triple6 OR ((triple2 ((triple1) -> rule2)) -> rule6) OR ((((triple3) -> rule5) ((triple1) -> rule2)) -> rule6))] Harry is blue.[(triple7)] Harry is green.[(triple8)] Harry is not smart.[(triple9)] Harry is young.[(triple10 OR ((((triple8) -> rule5) ((triple7) -> rule2)) -> rule6))] @1: Fiona is not white.[(((triple1) -> rule2))] Harry is furry.[(((triple8) -> rule5))] Harry is not white.[(((triple7) -> rule2))]