The bear chases the cat. The bear is cold. The bear is kind. The bear is rough. The bear likes the cat. The bear sees the cat. The cat chases the bear. The cat is round. The cat likes the bear. The cat sees the bear. If something is cold and it likes the bear then the bear chases the cat. If the cat sees the bear and the cat chases the bear then the cat is young. If the bear chases the cat then the cat sees the bear. If something likes the bear then the bear chases the cat. If something is young and it likes the bear then it sees the bear. If something likes the bear then it sees the cat. If the cat is round and the cat is kind then the cat chases the bear. If the cat is round and the cat chases the bear then the bear is rough.
The bear does not see the cat.
@0: The bear chases the cat.[(triple1 OR ((triple9) -> rule4))] The bear is cold.[(triple2)] The bear is kind.[(triple3)] The bear is rough.[(triple4 OR ((triple8 triple7) -> rule8))] The bear likes the cat.[(triple5)] The bear sees the cat.[(triple6)] The cat chases the bear.[(triple7)] The cat is round.[(triple8)] The cat likes the bear.[(triple9)] The cat sees the bear.[(triple10 OR ((triple1) -> rule3) OR ((((triple9) -> rule4)) -> rule3))] @1: The cat is young.[(((triple10 triple7) -> rule2) OR ((((triple1) -> rule3) triple7) -> rule2) OR ((((((triple9) -> rule4)) -> rule3) triple7) -> rule2))] The cat sees the cat.[(((triple9) -> rule6))]