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