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