Bob is not furry. Bob is kind. Dave is big. Dave is furry. Dave is green. Dave is nice. Dave is rough. Fiona is big. Fiona is kind. Fiona is red. Fiona is rough. Harry is big. Harry is green. Harry is kind. Harry is nice. Harry is not rough. If something is rough and red then it is kind. Kind things are nice. All furry things are green. Rough, nice things are green. If something is furry and not rough then it is big. If Harry is kind then Harry is big.
Dave is not rough.
@0: Bob is kind.[(triple2)] Bob is not furry.[(triple1)] Dave is big.[(triple3)] Dave is furry.[(triple4)] Dave is green.[(triple5 OR ((triple4) -> rule3) OR ((triple7 triple6) -> rule4))] Dave is nice.[(triple6)] Dave is rough.[(triple7)] Fiona is big.[(triple8)] Fiona is kind.[(triple9 OR ((triple11 triple10) -> rule1))] Fiona is red.[(triple10)] Fiona is rough.[(triple11)] Harry is big.[(triple12 OR ((triple14) -> rule6))] Harry is green.[(triple13)] Harry is kind.[(triple14)] Harry is nice.[(triple15 OR ((triple14) -> rule2))] Harry is not rough.[(triple16)] @1: Bob is nice.[(((triple2) -> rule2))] Fiona is nice.[(((triple9) -> rule2) OR ((((triple11 triple10) -> rule1)) -> rule2))] @2: Fiona is green.[(((triple11 ((triple9) -> rule2)) -> rule4) OR ((triple11 ((((triple11 triple10) -> rule1)) -> rule2)) -> rule4))]