The bear is big. The bear is blue. The bear is cold. The bear is kind. The bear is red. All kind things are red. All red things are kind. All kind, cold things are blue.
The bear does not see the bear.
@0: The bear is big.[(triple1)] The bear is blue.[(triple2 OR ((triple4 triple3) -> rule3) OR ((((triple5) -> rule2) triple3) -> rule3))] The bear is cold.[(triple3)] The bear is kind.[(triple4 OR ((triple5) -> rule2))] The bear is red.[(triple5 OR ((triple4) -> rule1))]