Bob is big. Bob is blue. Bob is cold. Bob is nice. Bob is red. Bob is smart. Bob is white. Cold, nice things are big. Blue, nice things are white. All nice, white things are blue. All cold, blue things are nice. All blue, cold things are nice. All blue things are big. All red things are white. All big, cold things are smart.
Bob is not smart.
@0: Bob is big.[(triple1 OR ((triple2) -> rule6) OR ((triple3 triple4) -> rule1) OR ((((triple4 triple7) -> rule3)) -> rule6) OR ((triple3 ((triple2 triple3) -> rule5)) -> rule1) OR ((triple3 ((triple3 triple2) -> rule4)) -> rule1) OR ((((triple4 ((triple5) -> rule7)) -> rule3)) -> rule6))] Bob is blue.[(triple2 OR ((triple4 triple7) -> rule3) OR ((triple4 ((triple5) -> rule7)) -> rule3))] Bob is cold.[(triple3)] Bob is nice.[(triple4 OR ((triple2 triple3) -> rule5) OR ((triple3 triple2) -> rule4))] Bob is red.[(triple5)] Bob is smart.[(triple6 OR ((triple1 triple3) -> rule8) OR ((((triple2) -> rule6) triple3) -> rule8) OR ((((triple3 triple4) -> rule1) triple3) -> rule8) OR ((((((triple4 triple7) -> rule3)) -> rule6) triple3) -> rule8) OR ((((triple3 ((triple2 triple3) -> rule5)) -> rule1) triple3) -> rule8) OR ((((triple3 ((triple3 triple2) -> rule4)) -> rule1) triple3) -> rule8) OR ((((((triple4 ((triple5) -> rule7)) -> rule3)) -> rule6) triple3) -> rule8))] Bob is white.[(triple7 OR ((triple5) -> rule7) OR ((triple2 triple4) -> rule2) OR ((triple2 ((triple2 triple3) -> rule5)) -> rule2) OR ((triple2 ((triple3 triple2) -> rule4)) -> rule2))]