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