The bear is cold. The bear sees the lion. The bear sees the mouse. The cat chases the mouse. The cat is big. The cat is kind. The cat likes the bear. The cat sees the lion. The lion chases the cat. The lion is kind. The lion likes the bear. The lion likes the mouse. The lion sees the bear. The lion sees the cat. The lion sees the mouse. The mouse sees the cat. If something sees the lion and it sees the cat then the cat chases the mouse. If something sees the cat then it is big. If something sees the bear then it chases the cat. If something sees the cat and it is nice then it chases the bear. If something likes the cat then it is nice. If the bear sees the cat and the cat chases the mouse then the cat chases the lion. If something is kind then it likes the lion. If something is kind then it likes the cat.
The lion sees the cat.
@0: The bear is cold.[(triple1)] The bear sees the lion.[(triple2)] The bear sees the mouse.[(triple3)] The cat chases the mouse.[(triple4)] The cat is big.[(triple5)] The cat is kind.[(triple6)] The cat likes the bear.[(triple7)] The cat sees the lion.[(triple8)] The lion chases the cat.[(triple9 OR ((triple13) -> rule3))] The lion is kind.[(triple10)] The lion likes the bear.[(triple11)] The lion likes the mouse.[(triple12)] The lion sees the bear.[(triple13)] The lion sees the cat.[(triple14)] The lion sees the mouse.[(triple15)] The mouse sees the cat.[(triple16)] @1: The cat likes the cat.[(((triple6) -> rule8))] The cat likes the lion.[(((triple6) -> rule7))] The lion is big.[(((triple14) -> rule2))] The lion likes the cat.[(((triple10) -> rule8))] The lion likes the lion.[(((triple10) -> rule7))] The mouse is big.[(((triple16) -> rule2))] @2: The cat is nice.[(((((triple6) -> rule8)) -> rule5))] The lion is nice.[(((((triple10) -> rule8)) -> rule5))] @3: The lion chases the bear.[(((triple14 ((((triple10) -> rule8)) -> rule5)) -> rule4))]