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