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