Fiona is blue. Fiona is furry. Fiona is green. Fiona is quiet. Fiona is white. Harry is nice. Harry is quiet. Cold things are nice. If Fiona is green then Fiona is white. If something is green and furry then it is blue. Green things are furry. Furry, green things are white. If Fiona is furry then Fiona is nice.
Fiona is not quiet.
@0: Fiona is blue.[(triple1 OR ((triple3 triple2) -> rule3) OR ((triple3 ((triple3) -> rule4)) -> rule3))] Fiona is furry.[(triple2 OR ((triple3) -> rule4))] Fiona is green.[(triple3)] Fiona is quiet.[(triple4)] Fiona is white.[(triple5 OR ((triple3) -> rule2) OR ((triple2 triple3) -> rule5) OR ((((triple3) -> rule4) triple3) -> rule5))] Harry is nice.[(triple6)] Harry is quiet.[(triple7)] @1: Fiona is nice.[(((triple2) -> rule6) OR ((((triple3) -> rule4)) -> rule6))]