The cat eats the lion. The cat eats the squirrel. The cat is big. The cat is rough. The cat is young. The cat likes the lion. The cat likes the squirrel. The cat visits the lion. The cat visits the squirrel. The lion likes the squirrel. The squirrel eats the cat. The squirrel eats the lion. If someone visits the lion and the lion visits the squirrel then the lion visits the cat. If someone is rough then they eat the cat. If the lion visits the squirrel then the squirrel is big. If someone is rough then they visit the squirrel. If the lion visits the cat then the cat eats the squirrel. If someone visits the lion then the lion is rough.
The cat is not rough.
@0: The cat eats the lion.[(triple1)] The cat eats the squirrel.[(triple2 OR ((((triple8 ((((triple8) -> rule6)) -> rule4)) -> rule1)) -> rule5))] The cat is big.[(triple3)] The cat is rough.[(triple4)] The cat is young.[(triple5)] The cat likes the lion.[(triple6)] The cat likes the squirrel.[(triple7)] The cat visits the lion.[(triple8)] The cat visits the squirrel.[(triple9 OR ((triple4) -> rule4))] The lion likes the squirrel.[(triple10)] The squirrel eats the cat.[(triple11)] The squirrel eats the lion.[(triple12)] @1: The cat eats the cat.[(((triple4) -> rule2))] The lion is rough.[(((triple8) -> rule6))] @2: The lion eats the cat.[(((((triple8) -> rule6)) -> rule2))] The lion visits the squirrel.[(((((triple8) -> rule6)) -> rule4))] @3: The lion visits the cat.[(((triple8 ((((triple8) -> rule6)) -> rule4)) -> rule1))] The squirrel is big.[(((((((triple8) -> rule6)) -> rule4)) -> rule3))]