The bear is kind. The bear likes the cat. The cat likes the bear. The cat needs the cow. The cat sees the bear. The cat sees the cow. The cow is rough. The mouse likes the cat. The mouse needs the bear. The mouse sees the cow. If someone sees the bear then they need the mouse. If someone needs the bear and the bear needs the cow then the bear needs the cat. If someone likes the cow then the cow sees the bear. If the bear is red and the bear needs the cow then the cow needs the bear. If someone needs the mouse then they are big. If someone sees the bear and they are big then they like the cow. If the cat needs the mouse then the mouse needs the cow. If someone is kind then they see the cat.
The cat likes the cow.
@0: The bear is kind.[(triple1)] The bear likes the cat.[(triple2)] The cat likes the bear.[(triple3)] The cat needs the cow.[(triple4)] The cat sees the bear.[(triple5)] The cat sees the cow.[(triple6)] The cow is rough.[(triple7)] The mouse likes the cat.[(triple8)] The mouse needs the bear.[(triple9)] The mouse sees the cow.[(triple10)] @1: The bear sees the cat.[(((triple1) -> rule8))] The cat needs the mouse.[(((triple5) -> rule1))] @2: The cat is big.[(((((triple5) -> rule1)) -> rule5))] The mouse needs the cow.[(((((triple5) -> rule1)) -> rule7))] @3: The cat likes the cow.[(((triple5 ((((triple5) -> rule1)) -> rule5)) -> rule6))] @4: The cow sees the bear.[(((((triple5 ((((triple5) -> rule1)) -> rule5)) -> rule6)) -> rule3))] @5: The cow needs the mouse.[(((((((triple5 ((((triple5) -> rule1)) -> rule5)) -> rule6)) -> rule3)) -> rule1))] @6: The cow is big.[(((((((((triple5 ((((triple5) -> rule1)) -> rule5)) -> rule6)) -> rule3)) -> rule1)) -> rule5))] @7: The cow likes the cow.[(((((((triple5 ((((triple5) -> rule1)) -> rule5)) -> rule6)) -> rule3) ((((((((triple5 ((((triple5) -> rule1)) -> rule5)) -> rule6)) -> rule3)) -> rule1)) -> rule5)) -> rule6))]