The dog likes the squirrel. The mouse chases the rabbit. The rabbit is rough. The squirrel chases the dog. If someone likes the rabbit then the rabbit does not chase the squirrel. If someone chases the rabbit then they eat the rabbit. If someone eats the rabbit and the rabbit chases the dog then the rabbit is not cold.
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
If someone likes the rabbit then the rabbit does not chase the squirrel.
((("someone" "likes" "rabbit" "+")) -> ("rabbit" "chases" "squirrel" "-"))
If someone chases the rabbit then they eat the rabbit.
((("someone" "chases" "rabbit" "+")) -> ("someone" "eats" "rabbit" "+"))
If someone eats the rabbit and the rabbit chases the dog then the rabbit is not cold.
((("someone" "eats" "rabbit" "+") ("rabbit" "chases" "dog" "+")) -> ("rabbit" "is" "cold" "-"))
The mouse chases the rabbit.
True
1
proof
[(triple2)]
("mouse" "chases" "rabbit" "+")
triple2
The dog does not like the squirrel.
False
1
inv-proof
[(triple1)]
("dog" "likes" "squirrel" "-")
triple1
The mouse eats the rabbit.
True
2
proof
[(((triple2) -> rule2))]
("mouse" "eats" "rabbit" "+")
((triple2) -> (rule2 % int1))
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
int1
The mouse does not eat the rabbit.
False
2
inv-proof
[(((triple2) -> rule2))]
("mouse" "eats" "rabbit" "-")
((triple2) -> (rule2 % int1))
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
int1
The dog does not eat the rabbit.
Unknown
inv-rconc
[@1: The dog eats the rabbit.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "eats" "rabbit" "-")
The squirrel eats the rabbit.
Unknown
rconc
[@1: The squirrel eats the rabbit.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "eats" "rabbit" "+")
The rabbit does not like the squirrel.
Unknown
inv-random
[@0: The rabbit likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "squirrel" "-")
The squirrel is cold.
Unknown
random
[@0: The squirrel is cold.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "cold" "+")
@0: The dog likes the squirrel.[(triple1)] The mouse chases the rabbit.[(triple2)] The rabbit is rough.[(triple3)] The squirrel chases the dog.[(triple4)] @1: The mouse eats the rabbit.[(((triple2) -> rule2))]
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
triple1
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
triple2
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple3
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
triple4
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
((triple2) -> (rule2 % int1))
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
int1