The cat is cold. The cat is kind. The cat likes the lion. The cat likes the squirrel. The cat needs the squirrel. The dog likes the cat. The dog needs the squirrel. The lion eats the dog. The lion is rough. The lion likes the cat. The squirrel is red. The squirrel needs the dog. If someone is kind and they need the squirrel then they eat the squirrel. If the lion needs the squirrel then the squirrel is kind. If someone likes the cat and the cat likes the lion then the lion likes the dog. If someone is cold and they need the squirrel then the squirrel needs the cat. If someone eats the lion and the lion eats the dog then the lion likes the cat. If someone needs the cat and the cat is round then they need the lion.
The cat is rough.
@0: The cat is cold.[(triple1)] The cat is kind.[(triple2)] The cat likes the lion.[(triple3)] The cat likes the squirrel.[(triple4)] The cat needs the squirrel.[(triple5)] The dog likes the cat.[(triple6)] The dog needs the squirrel.[(triple7)] The lion eats the dog.[(triple8)] The lion is rough.[(triple9)] The lion likes the cat.[(triple10)] The squirrel is red.[(triple11)] The squirrel needs the dog.[(triple12)] @1: The cat eats the squirrel.[(((triple2 triple5) -> rule1))] The lion likes the dog.[(((triple10 triple3) -> rule3) OR ((triple6 triple3) -> rule3))] The squirrel needs the cat.[(((triple1 triple5) -> rule4))]