The bear is nice. The bear is round. The bear is young. If someone is nice then they are kind. If someone is young then they are round. All nice, big people are kind. If someone is kind and big then they are young. If the bear is young and the bear is nice then the bear is big. Big people are round. Big, nice people are young. If the bear is kind and the bear is young then the bear is round.
The bear does not see the bear.
@0: The bear is nice.[(triple1)] The bear is round.[(triple2 OR ((triple3) -> rule2) OR ((((triple3 triple1) -> rule5)) -> rule6) OR ((((triple1) -> rule1) triple3) -> rule8) OR ((((triple1 ((triple3 triple1) -> rule5)) -> rule3) triple3) -> rule8))] The bear is young.[(triple3)] @1: The bear is big.[(((triple3 triple1) -> rule5))] The bear is kind.[(((triple1) -> rule1) OR ((triple1 ((triple3 triple1) -> rule5)) -> rule3))]