The cat eats the squirrel. The cat is green. The cat needs the squirrel. The cat sees the rabbit. The cat sees the squirrel. The lion is big. The lion is rough. The lion is young. The lion needs the rabbit. The lion sees the cat. The lion sees the squirrel. The rabbit is big. The rabbit needs the cat. The rabbit needs the lion. The squirrel eats the lion. If someone sees the squirrel and they eat the rabbit then they are rough. If the rabbit is green and the rabbit eats the lion then the rabbit needs the cat. If someone is big then they need the squirrel. If someone is big and green then they eat the rabbit. If someone needs the cat then they are rough. If someone needs the cat then the cat is big.
The cat is rough.
@0: The cat eats the squirrel.[(triple1)] The cat is green.[(triple2)] The cat needs the squirrel.[(triple3 OR ((((triple13) -> rule6)) -> rule3))] The cat sees the rabbit.[(triple4)] The cat sees the squirrel.[(triple5)] The lion is big.[(triple6)] The lion is rough.[(triple7)] The lion is young.[(triple8)] The lion needs the rabbit.[(triple9)] The lion sees the cat.[(triple10)] The lion sees the squirrel.[(triple11)] The rabbit is big.[(triple12)] The rabbit needs the cat.[(triple13)] The rabbit needs the lion.[(triple14)] The squirrel eats the lion.[(triple15)] @1: The cat is big.[(((triple13) -> rule6))] The lion needs the squirrel.[(((triple6) -> rule3))] The rabbit is rough.[(((triple13) -> rule5))] The rabbit needs the squirrel.[(((triple12) -> rule3))] @2: The cat eats the rabbit.[(((((triple13) -> rule6) triple2) -> rule4))] @3: The cat is rough.[(((triple5 ((((triple13) -> rule6) triple2) -> rule4)) -> rule1))]