Bob is big. Bob is blue. Bob is cold. Bob is quiet. Bob is red. Bob is round. Bob is smart. All quiet things are cold. Blue things are round. All quiet things are cold. If something is big then it is blue. Big things are blue. If Bob is round and Bob is cold then Bob is blue.
Bob is smart.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2 OR ((triple1) -> rule4) OR ((triple1) -> rule5) OR ((triple6 triple3) -> rule6) OR ((triple6 ((triple4) -> rule1)) -> rule6) OR ((triple6 ((triple4) -> rule3)) -> rule6))] Bob is cold.[(triple3 OR ((triple4) -> rule1) OR ((triple4) -> rule3))] Bob is quiet.[(triple4)] Bob is red.[(triple5)] Bob is round.[(triple6 OR ((triple2) -> rule2) OR ((((triple1) -> rule4)) -> rule2) OR ((((triple1) -> rule5)) -> rule2))] Bob is smart.[(triple7)]