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