Bob is big. Bob is cold. Bob is nice. Bob is rough. Bob is round. Bob is smart. Bob is white. All nice people are round. All rough, white people are cold. If Bob is big then Bob is white. All cold people are big. White people are rough. Cold people are nice.
Bob is not rough.
@0: Bob is big.[(triple1 OR ((triple2) -> rule4) OR ((((triple4 triple7) -> rule2)) -> rule4) OR ((((((triple7) -> rule5) triple7) -> rule2)) -> rule4))] Bob is cold.[(triple2 OR ((triple4 triple7) -> rule2) OR ((triple4 ((triple1) -> rule3)) -> rule2) OR ((((triple7) -> rule5) triple7) -> rule2) OR ((((triple7) -> rule5) ((triple1) -> rule3)) -> rule2) OR ((((((triple1) -> rule3)) -> rule5) triple7) -> rule2) OR ((((((triple1) -> rule3)) -> rule5) ((triple1) -> rule3)) -> rule2))] Bob is nice.[(triple3 OR ((triple2) -> rule6) OR ((((triple4 triple7) -> rule2)) -> rule6) OR ((((triple4 ((triple1) -> rule3)) -> rule2)) -> rule6) OR ((((((triple7) -> rule5) triple7) -> rule2)) -> rule6) OR ((((((triple7) -> rule5) ((triple1) -> rule3)) -> rule2)) -> rule6) OR ((((((((triple1) -> rule3)) -> rule5) triple7) -> rule2)) -> rule6) OR ((((((((triple1) -> rule3)) -> rule5) ((triple1) -> rule3)) -> rule2)) -> rule6))] Bob is rough.[(triple4 OR ((triple7) -> rule5) OR ((((triple1) -> rule3)) -> rule5) OR ((((((triple2) -> rule4)) -> rule3)) -> rule5))] Bob is round.[(triple5 OR ((triple3) -> rule1) OR ((((triple2) -> rule6)) -> rule1) OR ((((((triple4 triple7) -> rule2)) -> rule6)) -> rule1) OR ((((((triple4 ((triple1) -> rule3)) -> rule2)) -> rule6)) -> rule1) OR ((((((((triple7) -> rule5) triple7) -> rule2)) -> rule6)) -> rule1) OR ((((((((triple7) -> rule5) ((triple1) -> rule3)) -> rule2)) -> rule6)) -> rule1) OR ((((((((((triple1) -> rule3)) -> rule5) triple7) -> rule2)) -> rule6)) -> rule1) OR ((((((((((triple1) -> rule3)) -> rule5) ((triple1) -> rule3)) -> rule2)) -> rule6)) -> rule1))] Bob is smart.[(triple6)] Bob is white.[(triple7 OR ((triple1) -> rule3) OR ((((triple2) -> rule4)) -> rule3))]