The bear is cold. The bear is green. The bear is nice. The bear is red. The bear is young. If someone is nice then they are green. All young, green people are cold. Green, young people are nice. If the bear is cold then the bear is nice. If someone is nice and not cold then they are red. All green people are red.
The bear is nice.
@0: The bear is cold.[(triple1 OR ((triple5 triple2) -> rule2) OR ((triple5 ((triple3) -> rule1)) -> rule2))] The bear is green.[(triple2 OR ((triple3) -> rule1) OR ((((triple1) -> rule4)) -> rule1))] The bear is nice.[(triple3 OR ((triple1) -> rule4) OR ((triple2 triple5) -> rule3) OR ((((triple5 triple2) -> rule2)) -> rule4))] The bear is red.[(triple4 OR ((triple2) -> rule6) OR ((((triple3) -> rule1)) -> rule6) OR ((((((triple1) -> rule4)) -> rule1)) -> rule6))] The bear is young.[(triple5)]