The cat is not rough. The cat needs the dog. The dog is nice. The dog likes the cat. The dog does not like the squirrel. The squirrel eats the dog. The squirrel is not cold. The squirrel is nice. The squirrel is young. The squirrel does not like the cat. The squirrel does not need the cat. The squirrel needs the dog. If the squirrel eats the cat and the cat is not rough then the cat likes the dog. If the cat needs the dog and the dog eats the cat then the dog needs the cat. If someone likes the dog then they like the squirrel. If someone likes the dog then they are cold. If someone is young then they eat the cat. If someone eats the squirrel and the squirrel is not green then the squirrel eats the dog. If someone needs the dog and the dog is green then they need the cat. If someone needs the dog and they need the squirrel then the squirrel is rough.
The cat does not eat the cat.
@0: The cat is not rough.[(triple1)] The cat needs the dog.[(triple2)] The dog does not like the squirrel.[(triple5)] The dog is nice.[(triple3)] The dog likes the cat.[(triple4)] The squirrel does not like the cat.[(triple10)] The squirrel does not need the cat.[(triple11)] The squirrel eats the dog.[(triple6)] The squirrel is nice.[(triple8)] The squirrel is not cold.[(triple7)] The squirrel is young.[(triple9)] The squirrel needs the dog.[(triple12)] @1: The squirrel eats the cat.[(((triple9) -> rule5))] @2: The cat likes the dog.[(((((triple9) -> rule5) triple1) -> rule1))] @3: The cat is cold.[(((((((triple9) -> rule5) triple1) -> rule1)) -> rule4))] The cat likes the squirrel.[(((((((triple9) -> rule5) triple1) -> rule1)) -> rule3))]