Fiona is not blue. Fiona is furry. Fiona is green. Fiona is kind. Fiona is red. Fiona is not rough. Fiona is white. Harry is blue. Harry is furry. Harry is green. Harry is kind. Harry is red. Harry is rough. Harry is white. If Harry is rough and Harry is red then Harry is green. Red, white things are kind. If something is rough and not green then it is not blue.
Fiona is not furry.
@0: Fiona is furry.[(triple2)] Fiona is green.[(triple3)] Fiona is kind.[(triple4 OR ((triple5 triple7) -> rule2))] Fiona is not blue.[(triple1)] Fiona is not rough.[(triple6)] Fiona is red.[(triple5)] Fiona is white.[(triple7)] Harry is blue.[(triple8)] Harry is furry.[(triple9)] Harry is green.[(triple10 OR ((triple13 triple12) -> rule1))] Harry is kind.[(triple11 OR ((triple12 triple14) -> rule2))] Harry is red.[(triple12)] Harry is rough.[(triple13)] Harry is white.[(triple14)]