The bear eats the rabbit. The bear is rough. The bear likes the lion. The bear likes the rabbit. The lion eats the rabbit. The lion is cold. The lion is rough. The lion is round. The lion is young. The lion sees the bear. The rabbit eats the lion. The rabbit is cold. The rabbit is green. The rabbit is young. The rabbit sees the bear. The rabbit sees the lion. If someone likes the bear and the bear is green then they see the lion. If someone eats the rabbit and the rabbit likes the bear then they see the bear. If someone likes the bear and they are cold then the bear is cold. If someone likes the lion and they are young then the lion likes the bear. If someone sees the bear then they eat the rabbit. If someone likes the rabbit and they are cold then they eat the bear. If someone is cold then they like the bear. If someone sees the rabbit then they eat the bear.
The lion does not see the lion.
@0: The bear eats the rabbit.[(triple1)] The bear is rough.[(triple2)] The bear likes the lion.[(triple3)] The bear likes the rabbit.[(triple4)] The lion eats the rabbit.[(triple5 OR ((triple10) -> rule5))] The lion is cold.[(triple6)] The lion is rough.[(triple7)] The lion is round.[(triple8)] The lion is young.[(triple9)] The lion sees the bear.[(triple10 OR ((triple5 ((triple12) -> rule7)) -> rule2))] The rabbit eats the lion.[(triple11)] The rabbit is cold.[(triple12)] The rabbit is green.[(triple13)] The rabbit is young.[(triple14)] The rabbit sees the bear.[(triple15)] The rabbit sees the lion.[(triple16)] @1: The lion likes the bear.[(((triple6) -> rule7))] The rabbit eats the rabbit.[(((triple15) -> rule5))] The rabbit likes the bear.[(((triple12) -> rule7))] @2: The bear is cold.[(((((triple12) -> rule7) triple12) -> rule3) OR ((((triple6) -> rule7) triple6) -> rule3))] The bear sees the bear.[(((triple1 ((triple12) -> rule7)) -> rule2))] @3: The bear eats the bear.[(((triple4 ((((triple12) -> rule7) triple12) -> rule3)) -> rule6) OR ((triple4 ((((triple6) -> rule7) triple6) -> rule3)) -> rule6))] The bear likes the bear.[(((((((triple12) -> rule7) triple12) -> rule3)) -> rule7) OR ((((((triple6) -> rule7) triple6) -> rule3)) -> rule7))]