Bob is furry. Bob is kind. Bob is nice. Bob is quiet. Bob is red. Bob is rough. Bob is round. Round things are kind. If Bob is rough then Bob is round. Kind, nice things are furry.
Bob is furry.
@0: Bob is furry.[(triple1 OR ((triple2 triple3) -> rule3) OR ((((triple7) -> rule1) triple3) -> rule3) OR ((((((triple6) -> rule2)) -> rule1) triple3) -> rule3))] Bob is kind.[(triple2 OR ((triple7) -> rule1) OR ((((triple6) -> rule2)) -> rule1))] Bob is nice.[(triple3)] Bob is quiet.[(triple4)] Bob is red.[(triple5)] Bob is rough.[(triple6)] Bob is round.[(triple7 OR ((triple6) -> rule2))]