Bob is furry. Bob is green. Bob is not nice. Bob is not red. Bob is rough. Bob is round. Bob is not smart. If someone is red then they are furry. If Bob is red then Bob is furry. If Bob is not red then Bob is rough. If someone is furry then they are green. All red, rough people are not nice. If Bob is rough and Bob is green then Bob is not smart. If someone is green and not furry then they are not rough. If someone is red and not rough then they are smart.
Bob is furry.
@0: Bob is furry.[(triple1)] Bob is green.[(triple2 OR ((triple1) -> rule4))] Bob is not nice.[(triple3)] Bob is not red.[(triple4)] Bob is not smart.[(triple7 OR ((triple5 triple2) -> rule6) OR ((triple5 ((triple1) -> rule4)) -> rule6) OR ((((triple4) -> rule3) triple2) -> rule6) OR ((((triple4) -> rule3) ((triple1) -> rule4)) -> rule6))] Bob is rough.[(triple5 OR ((triple4) -> rule3))] Bob is round.[(triple6)]