The bear is cold. The bear is round. The bear is young. The bear likes the cat. The bear likes the dog. The bear sees the cat. The bear sees the dog. The cat chases the bear. The cat likes the bear. The dog does not chase the cat. The dog is kind. The dog is not young. The dog likes the bear. The dog likes the cat. The dog sees the bear. The dog sees the cat. Rough things are kind. All rough, young things are kind. If something likes the dog then it chases the bear. If something likes the cat then it sees the dog. If something is rough and it does not like the bear then it is cold. If something is round and it chases the bear then the bear is rough.
The bear does not chase the bear.
@0: The bear is cold.[(triple1)] The bear is round.[(triple2)] The bear is young.[(triple3)] The bear likes the cat.[(triple4)] The bear likes the dog.[(triple5)] The bear sees the cat.[(triple6)] The bear sees the dog.[(triple7 OR ((triple4) -> rule4))] The cat chases the bear.[(triple8)] The cat likes the bear.[(triple9)] The dog does not chase the cat.[(triple10)] The dog is kind.[(triple11)] The dog is not young.[(triple12)] The dog likes the bear.[(triple13)] The dog likes the cat.[(triple14)] The dog sees the bear.[(triple15)] The dog sees the cat.[(triple16)] @1: The bear chases the bear.[(((triple5) -> rule3))] The dog sees the dog.[(((triple14) -> rule4))] @2: The bear is rough.[(((triple2 ((triple5) -> rule3)) -> rule6))] @3: The bear is kind.[(((((triple2 ((triple5) -> rule3)) -> rule6)) -> rule1) OR ((((triple2 ((triple5) -> rule3)) -> rule6) triple3) -> rule2))]