The bear is big. The bear is blue. The bear is cold. The bear is nice. The bear is red. All nice, cold things are big. If something is nice then it is blue. Cold things are red. All blue, nice things are big. If the bear is cold and the bear is blue then the bear is nice. All cold things are red. If the bear is red and the bear is big then the bear is cold. If something is blue then it is cold.
The bear does not see the bear.
@0: The bear is big.[(triple1 OR ((triple2 triple4) -> rule4) OR ((triple4 triple3) -> rule1) OR ((triple2 ((triple3 triple2) -> rule5)) -> rule4) OR ((triple4 ((triple2) -> rule8)) -> rule1) OR ((((triple4) -> rule2) triple4) -> rule4) OR ((((triple3 triple2) -> rule5) triple3) -> rule1) OR ((((triple4) -> rule2) ((triple3 triple2) -> rule5)) -> rule4) OR ((((triple3 triple2) -> rule5) ((triple2) -> rule8)) -> rule1) OR ((triple2 ((((triple2) -> rule8) triple2) -> rule5)) -> rule4) OR ((triple4 ((((triple4) -> rule2)) -> rule8)) -> rule1) OR ((((((triple2) -> rule8) triple2) -> rule5) triple3) -> rule1) OR ((((triple4) -> rule2) ((((triple2) -> rule8) triple2) -> rule5)) -> rule4) OR ((((triple3 triple2) -> rule5) ((((triple4) -> rule2)) -> rule8)) -> rule1) OR ((((((triple2) -> rule8) triple2) -> rule5) ((triple2) -> rule8)) -> rule1) OR ((((((triple2) -> rule8) triple2) -> rule5) ((((triple4) -> rule2)) -> rule8)) -> rule1))] The bear is blue.[(triple2 OR ((triple4) -> rule2))] The bear is cold.[(triple3 OR ((triple2) -> rule8) OR ((triple5 triple1) -> rule7) OR ((((triple4) -> rule2)) -> rule8) OR ((triple5 ((triple2 triple4) -> rule4)) -> rule7) OR ((triple5 ((((triple4) -> rule2) triple4) -> rule4)) -> rule7))] The bear is nice.[(triple4 OR ((triple3 triple2) -> rule5) OR ((((triple2) -> rule8) triple2) -> rule5) OR ((((triple5 triple1) -> rule7) triple2) -> rule5))] The bear is red.[(triple5 OR ((triple3) -> rule3) OR ((triple3) -> rule6) OR ((((triple2) -> rule8)) -> rule3) OR ((((triple2) -> rule8)) -> rule6) OR ((((((triple4) -> rule2)) -> rule8)) -> rule3) OR ((((((triple4) -> rule2)) -> rule8)) -> rule6))]