The bear likes the tiger. The cat chases the tiger. The cat is young. The cow is big. The cow likes the bear. The cow likes the cat. The cow sees the cat. The tiger likes the cat. The tiger sees the bear. The tiger sees the cow. If someone sees the tiger then the tiger is round. If someone likes the tiger and they like the bear then the tiger chases the cow. If someone is young then they are rough. If someone chases the cow then the cow is rough. If the cat is nice and the cat likes the cow then the cat likes the bear. If someone is big then they like the tiger. If someone likes the tiger then they see the cow. If someone is round and not rough then they do not like the cat.
The cat chases the tiger.
@0: The bear likes the tiger.[(triple1)] The cat chases the tiger.[(triple2)] The cat is young.[(triple3)] The cow is big.[(triple4)] The cow likes the bear.[(triple5)] The cow likes the cat.[(triple6)] The cow sees the cat.[(triple7)] The tiger likes the cat.[(triple8)] The tiger sees the bear.[(triple9)] The tiger sees the cow.[(triple10)] @1: The bear sees the cow.[(((triple1) -> rule7))] The cat is rough.[(((triple3) -> rule3))] The cow likes the tiger.[(((triple4) -> rule6))] @2: The cow sees the cow.[(((((triple4) -> rule6)) -> rule7))] The tiger chases the cow.[(((((triple4) -> rule6) triple5) -> rule2))] @3: The cow is rough.[(((((((triple4) -> rule6) triple5) -> rule2)) -> rule4))]