The bear chases the cat. The bear chases the dog. The bear is cold. The bear is red. The bear is round. The bear sees the cat. The cat chases the dog. The cat is red. The cat sees the bear. The cat sees the dog. The dog chases the bear. The dog chases the cat. The dog is round. The dog sees the bear. The dog sees the cat. If someone is blue then they see the bear. If someone is red and they see the bear then they see the dog. If someone sees the bear and the bear likes the dog then the dog sees the bear. If someone is red and they see the dog then the dog likes the cat. If the bear chases the cat and the cat is red then the bear likes the cat. If someone is round and they chase the cat then they are blue.
The dog likes the cat.
@0: The bear chases the cat.[(triple1)] The bear chases the dog.[(triple2)] The bear is cold.[(triple3)] The bear is red.[(triple4)] The bear is round.[(triple5)] The bear sees the cat.[(triple6)] The cat chases the dog.[(triple7)] The cat is red.[(triple8)] The cat sees the bear.[(triple9)] The cat sees the dog.[(triple10 OR ((triple8 triple9) -> rule2))] The dog chases the bear.[(triple11)] The dog chases the cat.[(triple12)] The dog is round.[(triple13)] The dog sees the bear.[(triple14 OR ((((triple13 triple12) -> rule6)) -> rule1))] The dog sees the cat.[(triple15)] @1: The bear is blue.[(((triple5 triple1) -> rule6))] The bear likes the cat.[(((triple1 triple8) -> rule5))] The dog is blue.[(((triple13 triple12) -> rule6))] The dog likes the cat.[(((triple8 triple10) -> rule4) OR ((triple8 ((triple8 triple9) -> rule2)) -> rule4) OR ((triple4 ((triple4 ((((triple5 triple1) -> rule6)) -> rule1)) -> rule2)) -> rule4))] @2: The bear sees the bear.[(((((triple5 triple1) -> rule6)) -> rule1))] @3: The bear sees the dog.[(((triple4 ((((triple5 triple1) -> rule6)) -> rule1)) -> rule2))]