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