The cow eats the rabbit. The cow is kind. The cow is not round. The rabbit eats the squirrel. The rabbit likes the squirrel. The squirrel chases the rabbit. The squirrel likes the cow. If someone chases the rabbit then the rabbit is round. If the rabbit likes the cow and the cow eats the squirrel then the squirrel likes the rabbit. If someone likes the cow and they eat the cow then they are round. If the cow eats the rabbit then the rabbit chases the cow. If the cow is round then the cow chases the squirrel. If the rabbit eats the squirrel and the rabbit is nice then the squirrel does not eat the rabbit. If someone chases the cow then they eat the cow. If someone is round and they chase the rabbit then they eat the rabbit.
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow is not round.
("cow" "is" "round" "-")
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
If someone chases the rabbit then the rabbit is round.
((("someone" "chases" "rabbit" "+")) -> ("rabbit" "is" "round" "+"))
If the rabbit likes the cow and the cow eats the squirrel then the squirrel likes the rabbit.
((("rabbit" "likes" "cow" "+") ("cow" "eats" "squirrel" "+")) -> ("squirrel" "likes" "rabbit" "+"))
If someone likes the cow and they eat the cow then they are round.
((("someone" "likes" "cow" "+") ("someone" "eats" "cow" "+")) -> ("someone" "is" "round" "+"))
If the cow eats the rabbit then the rabbit chases the cow.
((("cow" "eats" "rabbit" "+")) -> ("rabbit" "chases" "cow" "+"))
If the cow is round then the cow chases the squirrel.
((("cow" "is" "round" "+")) -> ("cow" "chases" "squirrel" "+"))
If the rabbit eats the squirrel and the rabbit is nice then the squirrel does not eat the rabbit.
((("rabbit" "eats" "squirrel" "+") ("rabbit" "is" "nice" "+")) -> ("squirrel" "eats" "rabbit" "-"))
If someone chases the cow then they eat the cow.
((("someone" "chases" "cow" "+")) -> ("someone" "eats" "cow" "+"))
If someone is round and they chase the rabbit then they eat the rabbit.
((("someone" "is" "round" "+") ("someone" "chases" "rabbit" "+")) -> ("someone" "eats" "rabbit" "+"))
The rabbit eats the squirrel.
True
1
proof
[(triple4)]
("rabbit" "eats" "squirrel" "+")
triple4
The rabbit does not eat the squirrel.
False
1
inv-proof
[(triple4)]
("rabbit" "eats" "squirrel" "-")
triple4
The rabbit is round.
True
2
proof
[(((triple6) -> rule1))]
("rabbit" "is" "round" "+")
((triple6) -> (rule1 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1
The rabbit is not round.
False
2
inv-proof
[(((triple6) -> rule1))]
("rabbit" "is" "round" "-")
((triple6) -> (rule1 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1
The rabbit eats the cow.
True
3
proof
[(((((triple1) -> rule4)) -> rule7))]
("rabbit" "eats" "cow" "+")
((((triple1) -> (rule4 % int2))) -> (rule7 % int1))
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
int1
The rabbit chases the cow.
("rabbit" "chases" "cow" "+")
int2
The rabbit does not eat the cow.
False
3
inv-proof
[(((((triple1) -> rule4)) -> rule7))]
("rabbit" "eats" "cow" "-")
((((triple1) -> (rule4 % int2))) -> (rule7 % int1))
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
int1
The rabbit chases the cow.
("rabbit" "chases" "cow" "+")
int2
The squirrel does not eat the rabbit.
Unknown
inv-rconc
[@3: The squirrel eats the rabbit.[CWA. Example of deepest failure = (rule8 <- rule3 <- rule7 <- FAIL)]]
("squirrel" "eats" "rabbit" "-")
The rabbit eats the rabbit.
Unknown
rconc
[@1: The rabbit eats the rabbit.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("rabbit" "eats" "rabbit" "+")
The squirrel does not eat the cow.
Unknown
inv-rconc
[@1: The squirrel eats the cow.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("squirrel" "eats" "cow" "-")
The cow likes the rabbit.
Unknown
random
[@0: The cow likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "rabbit" "+")
The rabbit does not like the cow.
Unknown
inv-random
[@0: The rabbit likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "cow" "-")
The cow is blue.
Unknown
random
[@0: The cow is blue.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "blue" "+")
@0: The cow eats the rabbit.[(triple1)] The cow is kind.[(triple2)] The cow is not round.[(triple3)] The rabbit eats the squirrel.[(triple4)] The rabbit likes the squirrel.[(triple5)] The squirrel chases the rabbit.[(triple6)] The squirrel likes the cow.[(triple7)] @1: The rabbit chases the cow.[(((triple1) -> rule4))] The rabbit is round.[(((triple6) -> rule1))] @2: The rabbit eats the cow.[(((((triple1) -> rule4)) -> rule7))]
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
triple1
The cow is kind.
("cow" "is" "kind" "+")
triple2
The cow is not round.
("cow" "is" "round" "-")
triple3
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
triple4
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
triple5
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
triple6
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
triple7
The rabbit chases the cow.
("rabbit" "chases" "cow" "+")
((triple1) -> (rule4 % int1))
The rabbit chases the cow.
("rabbit" "chases" "cow" "+")
int1
The rabbit is round.
("rabbit" "is" "round" "+")
((triple6) -> (rule1 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
((((triple1) -> (rule4 % int2))) -> (rule7 % int1))
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
int1
The rabbit chases the cow.
("rabbit" "chases" "cow" "+")
int2