Bob is big. Bob is blue. Bob is cold. Bob is quiet. Bob is red. Bob is smart. Bob is young. If Bob is cold and Bob is big then Bob is quiet. All young people are cold. If Bob is cold and Bob is red then Bob is quiet. If someone is quiet then they are big. If someone is young then they are quiet. Big, cold people are quiet. All blue people are quiet. Cold people are big.
Bob is smart.
@0: Bob is big.[(triple1 OR ((triple3) -> rule8) OR ((triple4) -> rule4) OR ((((triple2) -> rule7)) -> rule4) OR ((((triple7) -> rule2)) -> rule8) OR ((((triple7) -> rule5)) -> rule4) OR ((((triple3 triple5) -> rule3)) -> rule4) OR ((((((triple7) -> rule2) triple5) -> rule3)) -> rule4))] Bob is blue.[(triple2)] Bob is cold.[(triple3 OR ((triple7) -> rule2))] Bob is quiet.[(triple4 OR ((triple2) -> rule7) OR ((triple7) -> rule5) OR ((triple1 triple3) -> rule6) OR ((triple3 triple1) -> rule1) OR ((triple3 triple5) -> rule3) OR ((triple1 ((triple7) -> rule2)) -> rule6) OR ((triple3 ((triple3) -> rule8)) -> rule1) OR ((((triple3) -> rule8) triple3) -> rule6) OR ((((triple7) -> rule2) triple1) -> rule1) OR ((((triple7) -> rule2) triple5) -> rule3) OR ((((triple3) -> rule8) ((triple7) -> rule2)) -> rule6) OR ((((triple7) -> rule2) ((triple3) -> rule8)) -> rule1) OR ((triple3 ((((triple7) -> rule2)) -> rule8)) -> rule1) OR ((((((triple7) -> rule2)) -> rule8) triple3) -> rule6) OR ((((triple7) -> rule2) ((((triple7) -> rule2)) -> rule8)) -> rule1) OR ((((((triple7) -> rule2)) -> rule8) ((triple7) -> rule2)) -> rule6))] Bob is red.[(triple5)] Bob is smart.[(triple6)] Bob is young.[(triple7)]