Bob is big. Bob is cold. Bob is furry. Bob is kind. Bob is red. Bob is rough. Bob is round. If Bob is cold then Bob is big. If something is red then it is kind. If something is big and round then it is cold. Round things are cold. If something is red and not round then it is rough. Big things are rough.
Bob is kind.
@0: Bob is big.[(triple1 OR ((triple2) -> rule1) OR ((((triple7) -> rule4)) -> rule1))] Bob is cold.[(triple2 OR ((triple7) -> rule4) OR ((triple1 triple7) -> rule3))] Bob is furry.[(triple3)] Bob is kind.[(triple4 OR ((triple5) -> rule2))] Bob is red.[(triple5)] Bob is rough.[(triple6 OR ((triple1) -> rule6) OR ((((triple2) -> rule1)) -> rule6) OR ((((((triple7) -> rule4)) -> rule1)) -> rule6))] Bob is round.[(triple7)]