The bear eats the tiger. The bear is big. The bear is cold. The bear is kind. The bear is red. The bear sees the tiger. The tiger chases the bear. If someone sees the bear and the bear sees the tiger then they are rough. If someone is kind then they see the bear. If someone is rough then they chase the bear. If someone is kind and they see the bear then the bear sees the tiger. If someone chases the tiger then the tiger is red. If someone sees the tiger then they chase the tiger.
The bear is rough.
@0: The bear eats the tiger.[(triple1)] The bear is big.[(triple2)] The bear is cold.[(triple3)] The bear is kind.[(triple4)] The bear is red.[(triple5)] The bear sees the tiger.[(triple6 OR ((triple4 ((triple4) -> rule2)) -> rule4))] The tiger chases the bear.[(triple7)] @1: The bear chases the tiger.[(((triple6) -> rule6) OR ((((triple4 ((triple4) -> rule2)) -> rule4)) -> rule6))] The bear sees the bear.[(((triple4) -> rule2))] @2: The bear is rough.[(((((triple4) -> rule2) triple6) -> rule1) OR ((((triple4) -> rule2) ((triple4 ((triple4) -> rule2)) -> rule4)) -> rule1))] The tiger is red.[(((((triple6) -> rule6)) -> rule5) OR ((((((triple4 ((triple4) -> rule2)) -> rule4)) -> rule6)) -> rule5))] @3: The bear chases the bear.[(((((((triple4) -> rule2) triple6) -> rule1)) -> rule3) OR ((((((triple4) -> rule2) ((triple4 ((triple4) -> rule2)) -> rule4)) -> rule1)) -> rule3))]