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