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