The cat chases the dog. The cat is rough. The cat is young. The dog likes the squirrel. The dog sees the tiger. The squirrel chases the tiger. The squirrel is big. The squirrel is green. The squirrel likes the dog. The squirrel sees the dog. The tiger chases the cat. The tiger is green. The tiger likes the dog. The tiger likes the squirrel. If something likes the dog then it chases the tiger. If something is big and it chases the cat then the cat likes the squirrel. If something sees the cat then the cat is big. If something likes the squirrel then it sees the dog. If something is cold and it chases the cat then it sees the cat. If something sees the tiger then the tiger is big. Green, big things are young. Big things are cold.
The cat does not see the squirrel.
@0: The cat chases the dog.[(triple1)] The cat is rough.[(triple2)] The cat is young.[(triple3)] The dog likes the squirrel.[(triple4)] The dog sees the tiger.[(triple5)] The squirrel chases the tiger.[(triple6 OR ((triple9) -> rule1))] The squirrel is big.[(triple7)] The squirrel is green.[(triple8)] The squirrel likes the dog.[(triple9)] The squirrel sees the dog.[(triple10)] The tiger chases the cat.[(triple11)] The tiger is green.[(triple12)] The tiger likes the dog.[(triple13)] The tiger likes the squirrel.[(triple14)] @1: The dog sees the dog.[(((triple4) -> rule4))] The squirrel is cold.[(((triple7) -> rule8))] The squirrel is young.[(((triple8 triple7) -> rule7))] The tiger chases the tiger.[(((triple13) -> rule1))] The tiger is big.[(((triple5) -> rule6))] The tiger sees the dog.[(((triple14) -> rule4))] @2: The cat likes the squirrel.[(((((triple5) -> rule6) triple11) -> rule2))] The tiger is cold.[(((((triple5) -> rule6)) -> rule8))] The tiger is young.[(((triple12 ((triple5) -> rule6)) -> rule7))] @3: The cat sees the dog.[(((((((triple5) -> rule6) triple11) -> rule2)) -> rule4))] The tiger sees the cat.[(((((((triple5) -> rule6)) -> rule8) triple11) -> rule5))] @4: The cat is big.[(((((((((triple5) -> rule6)) -> rule8) triple11) -> rule5)) -> rule3))] @5: The cat is cold.[(((((((((((triple5) -> rule6)) -> rule8) triple11) -> rule5)) -> rule3)) -> rule8))]