The bear chases the cat. The cat chases the bear. The cat is cold. The cat visits the bear. The dog chases the bear. The dog is nice. The dog visits the bear. If someone needs the bear then the bear chases the dog. If the dog visits the cat then the cat needs the dog. If someone chases the cat and the cat chases the bear then they need the cat. If someone needs the bear and they visit the bear then they are round. If someone needs the bear then they chase the cat. If the bear visits the cat then the bear chases the dog.
The bear chases the cat.
("bear" "chases" "cat" "+")
The cat chases the bear.
("cat" "chases" "bear" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cat visits the bear.
("cat" "visits" "bear" "+")
The dog chases the bear.
("dog" "chases" "bear" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog visits the bear.
("dog" "visits" "bear" "+")
If someone needs the bear then the bear chases the dog.
((("someone" "needs" "bear" "+")) -> ("bear" "chases" "dog" "+"))
If the dog visits the cat then the cat needs the dog.
((("dog" "visits" "cat" "+")) -> ("cat" "needs" "dog" "+"))
If someone chases the cat and the cat chases the bear then they need the cat.
((("someone" "chases" "cat" "+") ("cat" "chases" "bear" "+")) -> ("someone" "needs" "cat" "+"))
If someone needs the bear and they visit the bear then they are round.
((("someone" "needs" "bear" "+") ("someone" "visits" "bear" "+")) -> ("someone" "is" "round" "+"))
If someone needs the bear then they chase the cat.
((("someone" "needs" "bear" "+")) -> ("someone" "chases" "cat" "+"))
If the bear visits the cat then the bear chases the dog.
((("bear" "visits" "cat" "+")) -> ("bear" "chases" "dog" "+"))
The dog is nice.
True
1
proof
[(triple6)]
("dog" "is" "nice" "+")
triple6
The cat does not visit the bear.
False
1
inv-proof
[(triple4)]
("cat" "visits" "bear" "-")
triple4
The bear does not chase the dog.
Unknown
inv-rconc
[@1: The bear chases the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "chases" "dog" "-")
The bear chases the bear.
Unknown
random
[@0: The bear chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bear" "+")
@0: The bear chases the cat.[(triple1)] The cat chases the bear.[(triple2)] The cat is cold.[(triple3)] The cat visits the bear.[(triple4)] The dog chases the bear.[(triple5)] The dog is nice.[(triple6)] The dog visits the bear.[(triple7)] @1: The bear needs the cat.[(((triple1 triple2) -> rule3))]
The bear chases the cat.
("bear" "chases" "cat" "+")
triple1
The cat chases the bear.
("cat" "chases" "bear" "+")
triple2
The cat is cold.
("cat" "is" "cold" "+")
triple3
The cat visits the bear.
("cat" "visits" "bear" "+")
triple4
The dog chases the bear.
("dog" "chases" "bear" "+")
triple5
The dog is nice.
("dog" "is" "nice" "+")
triple6
The dog visits the bear.
("dog" "visits" "bear" "+")
triple7
The bear needs the cat.
("bear" "needs" "cat" "+")
((triple1 triple2) -> (rule3 % int1))
The bear needs the cat.
("bear" "needs" "cat" "+")
int1