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