Charlie is blue. Charlie is nice. Charlie is red. Charlie is not rough. Dave is blue. Dave is furry. Dave is kind. Dave is not nice. Dave is rough. Dave is smart. Fiona is blue. Fiona is kind. Fiona is red. Fiona is smart. Harry is not nice. If Dave is smart then Dave is kind. Rough things are kind. All rough, red things are kind. If Fiona is rough then Fiona is nice. If something is rough and not red then it is not furry. Nice, blue things are furry. Smart, red things are nice. If Harry is furry then Harry is rough.
Fiona is not smart.
@0: Charlie is blue.[(triple1)] Charlie is nice.[(triple2)] Charlie is not rough.[(triple4)] Charlie is red.[(triple3)] Dave is blue.[(triple5)] Dave is furry.[(triple6)] Dave is kind.[(triple7 OR ((triple10) -> rule1) OR ((triple9) -> rule2))] Dave is not nice.[(triple8)] Dave is rough.[(triple9)] Dave is smart.[(triple10)] Fiona is blue.[(triple11)] Fiona is kind.[(triple12)] Fiona is red.[(triple13)] Fiona is smart.[(triple14)] Harry is not nice.[(triple15)] @1: Charlie is furry.[(((triple2 triple1) -> rule6))] Fiona is nice.[(((triple14 triple13) -> rule7))] @2: Fiona is furry.[(((((triple14 triple13) -> rule7) triple11) -> rule6))]