The bear likes the cat. The cat is kind. The cat is rough. The cat likes the bear. The cat likes the squirrel. The squirrel likes the cat. The tiger is big. If something likes the cat then it is young. All kind things are nice. If something needs the cat then the cat likes the tiger. If something likes the tiger then the tiger likes the cat. If something is kind then it sees the tiger. If something likes the tiger then it needs the bear.
The cat does not like the squirrel.
@0: The bear likes the cat.[(triple1)] The cat is kind.[(triple2)] The cat is rough.[(triple3)] The cat likes the bear.[(triple4)] The cat likes the squirrel.[(triple5)] The squirrel likes the cat.[(triple6)] The tiger is big.[(triple7)] @1: The bear is young.[(((triple1) -> rule1))] The cat is nice.[(((triple2) -> rule2))] The cat sees the tiger.[(((triple2) -> rule5))] The squirrel is young.[(((triple6) -> rule1))]