The bear chases the rabbit. The bear eats the rabbit. The bear is big. The bear is cold. The bear is kind. The bear is red. The bear is rough. The bear sees the rabbit. The rabbit chases the bear. The rabbit eats the bear. The rabbit is big. The rabbit is cold. The rabbit is kind. The rabbit is red. The rabbit is rough. The rabbit sees the bear. If the rabbit chases the bear then the bear chases the rabbit. If something is rough and kind then it chases the bear. If something chases the rabbit and it sees the rabbit then the rabbit eats the bear. If something is big and it sees the bear then it eats the bear. If something eats the bear and it is cold then it sees the bear. If something sees the rabbit and it sees the bear then the bear is kind. If something chases the bear then the bear eats the rabbit. If something chases the bear and it is rough then it sees the bear.
The bear chases the bear.
@0: The bear chases the rabbit.[(triple1 OR ((triple9) -> rule1) OR ((((triple15 triple13) -> rule2)) -> rule1))] The bear eats the rabbit.[(triple2 OR ((triple9) -> rule7) OR ((((triple15 triple13) -> rule2)) -> rule7) OR ((((triple7 triple5) -> rule2)) -> rule7))] The bear is big.[(triple3)] The bear is cold.[(triple4)] The bear is kind.[(triple5)] The bear is red.[(triple6)] The bear is rough.[(triple7)] The bear sees the rabbit.[(triple8)] The rabbit chases the bear.[(triple9 OR ((triple15 triple13) -> rule2))] The rabbit eats the bear.[(triple10 OR ((triple1 triple8) -> rule3) OR ((triple11 triple16) -> rule4) OR ((triple11 ((triple9 triple15) -> rule8)) -> rule4) OR ((((triple9) -> rule1) triple8) -> rule3) OR ((triple11 ((((triple15 triple13) -> rule2) triple15) -> rule8)) -> rule4) OR ((((((triple15 triple13) -> rule2)) -> rule1) triple8) -> rule3))] The rabbit is big.[(triple11)] The rabbit is cold.[(triple12)] The rabbit is kind.[(triple13)] The rabbit is red.[(triple14)] The rabbit is rough.[(triple15)] The rabbit sees the bear.[(triple16 OR ((triple10 triple12) -> rule5) OR ((triple9 triple15) -> rule8) OR ((((triple1 triple8) -> rule3) triple12) -> rule5) OR ((((triple15 triple13) -> rule2) triple15) -> rule8) OR ((((((triple9) -> rule1) triple8) -> rule3) triple12) -> rule5) OR ((((((((triple15 triple13) -> rule2)) -> rule1) triple8) -> rule3) triple12) -> rule5))] @1: The bear chases the bear.[(((triple7 triple5) -> rule2))] @2: The bear sees the bear.[(((((triple7 triple5) -> rule2) triple7) -> rule8))] @3: The bear eats the bear.[(((triple3 ((((triple7 triple5) -> rule2) triple7) -> rule8)) -> rule4))]