Bob is big. Bob is blue. Bob is cold. Bob is furry. Bob is rough. Bob is round. Bob is young. If someone is big then they are round. If Bob is young then Bob is blue. If Bob is cold then Bob is rough. All big people are round. All blue people are furry. If Bob is round and Bob is big then Bob is cold.
Bob is furry.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2 OR ((triple7) -> rule2))] Bob is cold.[(triple3 OR ((triple6 triple1) -> rule6) OR ((((triple1) -> rule1) triple1) -> rule6) OR ((((triple1) -> rule4) triple1) -> rule6))] Bob is furry.[(triple4 OR ((triple2) -> rule5) OR ((((triple7) -> rule2)) -> rule5))] Bob is rough.[(triple5 OR ((triple3) -> rule3) OR ((((triple6 triple1) -> rule6)) -> rule3) OR ((((((triple1) -> rule1) triple1) -> rule6)) -> rule3) OR ((((((triple1) -> rule4) triple1) -> rule6)) -> rule3))] Bob is round.[(triple6 OR ((triple1) -> rule1) OR ((triple1) -> rule4))] Bob is young.[(triple7)]