Bob is big. Bob is furry. Bob is kind. Bob is nice. Bob is red. Bob is rough. Bob is round. If Bob is red then Bob is big. If Bob is big and Bob is red then Bob is furry. Nice people are kind.
Bob is not kind.
@0: Bob is big.[(triple1 OR ((triple5) -> rule1))] Bob is furry.[(triple2 OR ((triple1 triple5) -> rule2) OR ((((triple5) -> rule1) triple5) -> rule2))] Bob is kind.[(triple3 OR ((triple4) -> rule3))] Bob is nice.[(triple4)] Bob is red.[(triple5)] Bob is rough.[(triple6)] Bob is round.[(triple7)]