The bear is big. The bear is blue. The bear is cold. The bear is kind. The bear is nice. Cold, big people are kind. If the bear is big then the bear is kind. If the bear is cold and the bear is big then the bear is nice. If the bear is nice and the bear is big then the bear is kind. If someone is kind then they are cold. All kind, nice people are blue.
The bear is cold.
@0: The bear is big.[(triple1)] The bear is blue.[(triple2 OR ((triple4 triple5) -> rule6) OR ((triple4 ((triple3 triple1) -> rule3)) -> rule6) OR ((((triple1) -> rule2) triple5) -> rule6) OR ((((triple3 triple1) -> rule1) triple5) -> rule6) OR ((((triple5 triple1) -> rule4) triple5) -> rule6) OR ((((triple1) -> rule2) ((triple3 triple1) -> rule3)) -> rule6) OR ((((triple3 triple1) -> rule1) ((triple3 triple1) -> rule3)) -> rule6) OR ((((triple5 triple1) -> rule4) ((triple3 triple1) -> rule3)) -> rule6) OR ((triple4 ((((triple4) -> rule5) triple1) -> rule3)) -> rule6) OR ((((((triple3 triple1) -> rule3) triple1) -> rule4) triple5) -> rule6) OR ((((triple1) -> rule2) ((((triple4) -> rule5) triple1) -> rule3)) -> rule6) OR ((((triple3 triple1) -> rule1) ((((triple4) -> rule5) triple1) -> rule3)) -> rule6) OR ((((triple5 triple1) -> rule4) ((((triple4) -> rule5) triple1) -> rule3)) -> rule6) OR ((((((triple3 triple1) -> rule3) triple1) -> rule4) ((triple3 triple1) -> rule3)) -> rule6) OR ((((((triple3 triple1) -> rule3) triple1) -> rule4) ((((triple4) -> rule5) triple1) -> rule3)) -> rule6) OR ((triple4 ((((((triple1) -> rule2)) -> rule5) triple1) -> rule3)) -> rule6) OR ((((triple1) -> rule2) ((((((triple1) -> rule2)) -> rule5) triple1) -> rule3)) -> rule6) OR ((((triple3 triple1) -> rule1) ((((((triple1) -> rule2)) -> rule5) triple1) -> rule3)) -> rule6) OR ((((triple5 triple1) -> rule4) ((((((triple1) -> rule2)) -> rule5) triple1) -> rule3)) -> rule6) OR ((((((triple3 triple1) -> rule3) triple1) -> rule4) ((((((triple1) -> rule2)) -> rule5) triple1) -> rule3)) -> rule6))] The bear is cold.[(triple3 OR ((triple4) -> rule5) OR ((((triple1) -> rule2)) -> rule5) OR ((((triple5 triple1) -> rule4)) -> rule5))] The bear is kind.[(triple4 OR ((triple1) -> rule2) OR ((triple3 triple1) -> rule1) OR ((triple5 triple1) -> rule4) OR ((((triple3 triple1) -> rule3) triple1) -> rule4))] The bear is nice.[(triple5 OR ((triple3 triple1) -> rule3) OR ((((triple4) -> rule5) triple1) -> rule3) OR ((((((triple1) -> rule2)) -> rule5) triple1) -> rule3))]