Charlie is big. Charlie is not blue. Charlie is not green. Charlie is red. Charlie is not rough. Dave is furry. Dave is not green. Dave is red. Fiona is not big. Fiona is furry. Fiona is nice. Harry is nice. If Harry is furry then Harry is red. If Harry is green then Harry is nice. If someone is nice and green then they are furry. If someone is blue and rough then they are furry. All nice people are green. All green, rough people are not nice. If someone is big and not nice then they are red. If Dave is rough and Dave is not red then Dave is not furry.
Fiona is furry.
@0: Charlie is big.[(triple1)] Charlie is not blue.[(triple2)] Charlie is not green.[(triple3)] Charlie is not rough.[(triple5)] Charlie is red.[(triple4)] Dave is furry.[(triple6)] Dave is not green.[(triple7)] Dave is red.[(triple8)] Fiona is furry.[(triple10 OR ((triple11 ((triple11) -> rule5)) -> rule3))] Fiona is nice.[(triple11)] Fiona is not big.[(triple9)] Harry is nice.[(triple12)] @1: Fiona is green.[(((triple11) -> rule5))] Harry is green.[(((triple12) -> rule5))] @2: Harry is furry.[(((triple12 ((triple12) -> rule5)) -> rule3))] @3: Harry is red.[(((((triple12 ((triple12) -> rule5)) -> rule3)) -> rule1))]