The bear eats the cat. The bear is blue. The bear sees the mouse. The cat eats the bear. The cat is rough. The cat likes the bear. The cat likes the lion. The cat likes the mouse. The cat sees the lion. The lion is green. The lion likes the cat. The lion likes the mouse. The lion sees the cat. The mouse eats the lion. The mouse likes the cat. The mouse likes the lion. If someone likes the bear then they see the mouse. If someone is rough and they like the lion then the lion eats the cat. If someone is young and they like the bear then the bear sees the lion. If someone is rough and they eat the cat then they see the bear. If someone sees the bear then the bear sees the lion. If someone eats the bear then the bear is rough. If someone eats the bear then they like the cat. If someone sees the bear then they are red.
The bear is green.
@0: The bear eats the cat.[(triple1)] The bear is blue.[(triple2)] The bear sees the mouse.[(triple3)] The cat eats the bear.[(triple4)] The cat is rough.[(triple5)] The cat likes the bear.[(triple6)] The cat likes the lion.[(triple7)] The cat likes the mouse.[(triple8)] The cat sees the lion.[(triple9)] The lion is green.[(triple10)] The lion likes the cat.[(triple11)] The lion likes the mouse.[(triple12)] The lion sees the cat.[(triple13)] The mouse eats the lion.[(triple14)] The mouse likes the cat.[(triple15)] The mouse likes the lion.[(triple16)] @1: The bear is rough.[(((triple4) -> rule6))] The cat likes the cat.[(((triple4) -> rule7))] The cat sees the mouse.[(((triple6) -> rule1))] The lion eats the cat.[(((triple5 triple7) -> rule2))] @2: The bear sees the bear.[(((((triple4) -> rule6) triple1) -> rule4))] @3: The bear is red.[(((((((triple4) -> rule6) triple1) -> rule4)) -> rule8))] The bear sees the lion.[(((((((triple4) -> rule6) triple1) -> rule4)) -> rule5))]