The cow chases the rabbit. The cow is cold. The dog eats the rabbit. The dog is nice. The dog visits the cow. The rabbit chases the cow. The rabbit is green. The rabbit is round. The squirrel eats the rabbit. The squirrel is round. If someone chases the rabbit then they eat the dog. If someone is cold and green then they eat the cow. If the squirrel eats the cow then the squirrel chases the dog. If someone chases the cow and they visit the squirrel then they are nice. If someone eats the cow and they chase the cow then they eat the rabbit. If someone is young then they chase the rabbit. All green people are cold. If someone eats the squirrel then the squirrel visits the rabbit.
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
The cow is cold.
("cow" "is" "cold" "+")
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog visits the cow.
("dog" "visits" "cow" "+")
The rabbit chases the cow.
("rabbit" "chases" "cow" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
If someone chases the rabbit then they eat the dog.
((("someone" "chases" "rabbit" "+")) -> ("someone" "eats" "dog" "+"))
If someone is cold and green then they eat the cow.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+")) -> ("someone" "eats" "cow" "+"))
If the squirrel eats the cow then the squirrel chases the dog.
((("squirrel" "eats" "cow" "+")) -> ("squirrel" "chases" "dog" "+"))
If someone chases the cow and they visit the squirrel then they are nice.
((("someone" "chases" "cow" "+") ("someone" "visits" "squirrel" "+")) -> ("someone" "is" "nice" "+"))
If someone eats the cow and they chase the cow then they eat the rabbit.
((("someone" "eats" "cow" "+") ("someone" "chases" "cow" "+")) -> ("someone" "eats" "rabbit" "+"))
If someone is young then they chase the rabbit.
((("someone" "is" "young" "+")) -> ("someone" "chases" "rabbit" "+"))
All green people are cold.
((("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If someone eats the squirrel then the squirrel visits the rabbit.
((("someone" "eats" "squirrel" "+")) -> ("squirrel" "visits" "rabbit" "+"))
The squirrel eats the rabbit.
True
1
proof
[(triple9)]
("squirrel" "eats" "rabbit" "+")
triple9
The dog does not visit the cow.
False
1
inv-proof
[(triple5)]
("dog" "visits" "cow" "-")
triple5
The rabbit is cold.
True
2
proof
[(((triple7) -> rule7))]
("rabbit" "is" "cold" "+")
((triple7) -> (rule7 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The cow does not eat the dog.
False
2
inv-proof
[(((triple1) -> rule1))]
("cow" "eats" "dog" "-")
((triple1) -> (rule1 % int1))
The cow eats the dog.
("cow" "eats" "dog" "+")
int1
The rabbit eats the cow.
True
4
proof
[(((((triple7) -> rule7) triple7) -> rule2))]
("rabbit" "eats" "cow" "+")
((((triple7) -> (rule7 % int2)) triple7) -> (rule2 % int1))
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit does not eat the cow.
False
4
inv-proof
[(((((triple7) -> rule7) triple7) -> rule2))]
("rabbit" "eats" "cow" "-")
((((triple7) -> (rule7 % int2)) triple7) -> (rule2 % int1))
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit eats the rabbit.
True
6
proof
[(((((((triple7) -> rule7) triple7) -> rule2) triple6) -> rule5))]
("rabbit" "eats" "rabbit" "+")
((((((triple7) -> (rule7 % int3)) triple7) -> (rule2 % int2)) triple6) -> (rule5 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
int2
The rabbit is cold.
("rabbit" "is" "cold" "+")
int3
The rabbit does not eat the rabbit.
False
6
inv-proof
[(((((((triple7) -> rule7) triple7) -> rule2) triple6) -> rule5))]
("rabbit" "eats" "rabbit" "-")
((((((triple7) -> (rule7 % int3)) triple7) -> (rule2 % int2)) triple6) -> (rule5 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
int2
The rabbit is cold.
("rabbit" "is" "cold" "+")
int3
The squirrel does not eat the dog.
Unknown
inv-rconc
[@2: The squirrel eats the dog.[CWA. Example of deepest failure = (rule1 <- rule6 <- FAIL)]]
("squirrel" "eats" "dog" "-")
The rabbit eats the dog.
Unknown
rconc
[@2: The rabbit eats the dog.[CWA. Example of deepest failure = (rule1 <- rule6 <- FAIL)]]
("rabbit" "eats" "dog" "+")
The squirrel does not eat the cow.
Unknown
inv-rconc
[@1: The squirrel eats the cow.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "eats" "cow" "-")
The cow is nice.
Unknown
rconc
[@1: The cow is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cow" "is" "nice" "+")
The cow is not round.
Unknown
inv-random
[@0: The cow is round.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "round" "-")
The rabbit eats the squirrel.
Unknown
random
[@0: The rabbit eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "squirrel" "+")
The cow does not visit the dog.
Unknown
inv-random
[@0: The cow visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "dog" "-")
The rabbit chases the squirrel.
Unknown
random
[@0: The rabbit chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "squirrel" "+")
@0: The cow chases the rabbit.[(triple1)] The cow is cold.[(triple2)] The dog eats the rabbit.[(triple3)] The dog is nice.[(triple4)] The dog visits the cow.[(triple5)] The rabbit chases the cow.[(triple6)] The rabbit is green.[(triple7)] The rabbit is round.[(triple8)] The squirrel eats the rabbit.[(triple9)] The squirrel is round.[(triple10)] @1: The cow eats the dog.[(((triple1) -> rule1))] The rabbit is cold.[(((triple7) -> rule7))] @2: The rabbit eats the cow.[(((((triple7) -> rule7) triple7) -> rule2))] @3: The rabbit eats the rabbit.[(((((((triple7) -> rule7) triple7) -> rule2) triple6) -> rule5))]
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
triple1
The cow is cold.
("cow" "is" "cold" "+")
triple2
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
triple3
The dog is nice.
("dog" "is" "nice" "+")
triple4
The dog visits the cow.
("dog" "visits" "cow" "+")
triple5
The rabbit chases the cow.
("rabbit" "chases" "cow" "+")
triple6
The rabbit is green.
("rabbit" "is" "green" "+")
triple7
The rabbit is round.
("rabbit" "is" "round" "+")
triple8
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
triple9
The squirrel is round.
("squirrel" "is" "round" "+")
triple10
The cow eats the dog.
("cow" "eats" "dog" "+")
((triple1) -> (rule1 % int1))
The cow eats the dog.
("cow" "eats" "dog" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
((triple7) -> (rule7 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
((((triple7) -> (rule7 % int2)) triple7) -> (rule2 % int1))
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
((((((triple7) -> (rule7 % int3)) triple7) -> (rule2 % int2)) triple6) -> (rule5 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
int2
The rabbit is cold.
("rabbit" "is" "cold" "+")
int3