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