The bear likes the dog. The dog chases the bear. The dog is round. The dog needs the mouse. The mouse is cold. The mouse likes the bear. The rabbit chases the dog. If something chases the mouse and the mouse is blue then it is rough. If something likes the dog then it chases the dog. If something chases the dog and the dog is round then it likes the mouse.
The bear likes the dog.
("bear" "likes" "dog" "+")
The dog chases the bear.
("dog" "chases" "bear" "+")
The dog is round.
("dog" "is" "round" "+")
The dog needs the mouse.
("dog" "needs" "mouse" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse likes the bear.
("mouse" "likes" "bear" "+")
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
If something chases the mouse and the mouse is blue then it is rough.
((("something" "chases" "mouse" "+") ("mouse" "is" "blue" "+")) -> ("something" "is" "rough" "+"))
If something likes the dog then it chases the dog.
((("something" "likes" "dog" "+")) -> ("something" "chases" "dog" "+"))
If something chases the dog and the dog is round then it likes the mouse.
((("something" "chases" "dog" "+") ("dog" "is" "round" "+")) -> ("something" "likes" "mouse" "+"))
The bear likes the dog.
True
1
proof
[(triple1)]
("bear" "likes" "dog" "+")
triple1
The dog does not need the mouse.
False
1
inv-proof
[(triple4)]
("dog" "needs" "mouse" "-")
triple4
The bear chases the dog.
True
2
proof
[(((triple1) -> rule2))]
("bear" "chases" "dog" "+")
((triple1) -> (rule2 % int1))
The bear chases the dog.
("bear" "chases" "dog" "+")
int1
The rabbit does not like the mouse.
False
3
inv-proof
[(((triple7 triple3) -> rule3))]
("rabbit" "likes" "mouse" "-")
((triple7 triple3) -> (rule3 % int1))
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
int1
The bear likes the mouse.
True
4
proof
[(((((triple1) -> rule2) triple3) -> rule3))]
("bear" "likes" "mouse" "+")
((((triple1) -> (rule2 % int2)) triple3) -> (rule3 % int1))
The bear likes the mouse.
("bear" "likes" "mouse" "+")
int1
The bear chases the dog.
("bear" "chases" "dog" "+")
int2
The bear does not like the mouse.
False
4
inv-proof
[(((((triple1) -> rule2) triple3) -> rule3))]
("bear" "likes" "mouse" "-")
((((triple1) -> (rule2 % int2)) triple3) -> (rule3 % int1))
The bear likes the mouse.
("bear" "likes" "mouse" "+")
int1
The bear chases the dog.
("bear" "chases" "dog" "+")
int2
The dog does not like the mouse.
Unknown
inv-rconc
[@2: The dog likes the mouse.[CWA. Example of deepest failure = (rule3 <- rule2 <- FAIL)]]
("dog" "likes" "mouse" "-")
The dog is rough.
Unknown
rconc
[@1: The dog is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "is" "rough" "+")
The dog does not chase the dog.
Unknown
inv-rconc
[@1: The dog chases the dog.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "chases" "dog" "-")
The bear likes the rabbit.
Unknown
random
[@0: The bear likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "rabbit" "+")
The bear is not round.
Unknown
inv-random
[@0: The bear is round.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "round" "-")
The rabbit likes the dog.
Unknown
random
[@0: The rabbit likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "dog" "+")
@0: The bear likes the dog.[(triple1)] The dog chases the bear.[(triple2)] The dog is round.[(triple3)] The dog needs the mouse.[(triple4)] The mouse is cold.[(triple5)] The mouse likes the bear.[(triple6)] The rabbit chases the dog.[(triple7)] @1: The bear chases the dog.[(((triple1) -> rule2))] The rabbit likes the mouse.[(((triple7 triple3) -> rule3))] @2: The bear likes the mouse.[(((((triple1) -> rule2) triple3) -> rule3))]
The bear likes the dog.
("bear" "likes" "dog" "+")
triple1
The dog chases the bear.
("dog" "chases" "bear" "+")
triple2
The dog is round.
("dog" "is" "round" "+")
triple3
The dog needs the mouse.
("dog" "needs" "mouse" "+")
triple4
The mouse is cold.
("mouse" "is" "cold" "+")
triple5
The mouse likes the bear.
("mouse" "likes" "bear" "+")
triple6
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
triple7
The bear chases the dog.
("bear" "chases" "dog" "+")
((triple1) -> (rule2 % int1))
The bear chases the dog.
("bear" "chases" "dog" "+")
int1
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
((triple7 triple3) -> (rule3 % int1))
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
int1
The bear likes the mouse.
("bear" "likes" "mouse" "+")
((((triple1) -> (rule2 % int2)) triple3) -> (rule3 % int1))
The bear likes the mouse.
("bear" "likes" "mouse" "+")
int1
The bear chases the dog.
("bear" "chases" "dog" "+")
int2