The bear eats the cat. The bear eats the squirrel. The bear is green. The bear is rough. The bear likes the cat. The bear likes the squirrel. The bear visits the cat. The cat is kind. The cat is rough. The cat likes the squirrel. The squirrel eats the bear. The squirrel eats the cat. The squirrel is cold. The squirrel is kind. The squirrel likes the bear. If someone visits the cat then the cat eats the bear. If someone visits the cat and they are rough then they like the squirrel. If someone likes the bear and they are cold then they like the cat. If someone likes the bear and the bear eats the cat then they like the squirrel. If someone likes the cat then they are big. If someone eats the squirrel and they are cold then the squirrel eats the bear.
The bear eats the cat.
@0: The bear eats the cat.[(triple1)] The bear eats the squirrel.[(triple2)] The bear is green.[(triple3)] The bear is rough.[(triple4)] The bear likes the cat.[(triple5)] The bear likes the squirrel.[(triple6 OR ((triple7 triple4) -> rule2))] The bear visits the cat.[(triple7)] The cat is kind.[(triple8)] The cat is rough.[(triple9)] The cat likes the squirrel.[(triple10)] The squirrel eats the bear.[(triple11)] The squirrel eats the cat.[(triple12)] The squirrel is cold.[(triple13)] The squirrel is kind.[(triple14)] The squirrel likes the bear.[(triple15)] @1: The bear is big.[(((triple5) -> rule5))] The cat eats the bear.[(((triple7) -> rule1))] The squirrel likes the cat.[(((triple15 triple13) -> rule3))] The squirrel likes the squirrel.[(((triple15 triple1) -> rule4))] @2: The squirrel is big.[(((((triple15 triple13) -> rule3)) -> rule5))]