The cat is big. The cat is nice. The cat is round. The cat needs the squirrel. The lion is cold. The lion is nice. The lion is red. The lion is round. The lion does not need the squirrel. The lion visits the cat. The lion visits the squirrel. The squirrel is not nice. The squirrel needs the cat. The squirrel needs the lion. The squirrel sees the cat. The squirrel sees the lion. If something sees the squirrel then it sees the lion. If something sees the lion and it is round then the lion is big. If something is big then it sees the squirrel. If something needs the cat and the cat is cold then the cat needs the lion. If something sees the lion and it does not need the squirrel then it does not need the cat. If something needs the cat then it sees the cat.
The squirrel does not visit the squirrel.
@0: The cat is big.[(triple1)] The cat is nice.[(triple2)] The cat is round.[(triple3)] The cat needs the squirrel.[(triple4)] The lion does not need the squirrel.[(triple9)] The lion is cold.[(triple5)] The lion is nice.[(triple6)] The lion is red.[(triple7)] The lion is round.[(triple8)] The lion visits the cat.[(triple10)] The lion visits the squirrel.[(triple11)] The squirrel is not nice.[(triple12)] The squirrel needs the cat.[(triple13)] The squirrel needs the lion.[(triple14)] The squirrel sees the cat.[(triple15 OR ((triple13) -> rule6))] The squirrel sees the lion.[(triple16)] @1: The cat sees the squirrel.[(((triple1) -> rule3))] @2: The cat sees the lion.[(((((triple1) -> rule3)) -> rule1))] @3: The lion is big.[(((((((triple1) -> rule3)) -> rule1) triple3) -> rule2))] @4: The lion sees the squirrel.[(((((((((triple1) -> rule3)) -> rule1) triple3) -> rule2)) -> rule3))] @5: The lion sees the lion.[(((((((((((triple1) -> rule3)) -> rule1) triple3) -> rule2)) -> rule3)) -> rule1))] @6: The lion does not need the cat.[(((((((((((((triple1) -> rule3)) -> rule1) triple3) -> rule2)) -> rule3)) -> rule1) triple9) -> rule5))]