The bald eagle chases the squirrel. The bald eagle is blue. The bald eagle needs the cow. The cat is round. The cow needs the cat. The squirrel chases the cow. The squirrel eats the cat. The squirrel is not kind. The squirrel needs the cat. The squirrel needs the cow. If something needs the cat then it chases the cat. If something chases the squirrel then the squirrel does not need the bald eagle. If something eats the cat then the cat eats the bald eagle. If something is round then it needs the cat. If something chases the squirrel and it eats the bald eagle then the bald eagle needs the cat. If something chases the cat then the cat does not need the bald eagle.
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
The cat is round.
("cat" "is" "round" "+")
The cow needs the cat.
("cow" "needs" "cat" "+")
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
The squirrel is not kind.
("squirrel" "is" "kind" "-")
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
If something needs the cat then it chases the cat.
((("something" "needs" "cat" "+")) -> ("something" "chases" "cat" "+"))
If something chases the squirrel then the squirrel does not need the bald eagle.
((("something" "chases" "squirrel" "+")) -> ("squirrel" "needs" "bald eagle" "-"))
If something eats the cat then the cat eats the bald eagle.
((("something" "eats" "cat" "+")) -> ("cat" "eats" "bald eagle" "+"))
If something is round then it needs the cat.
((("something" "is" "round" "+")) -> ("something" "needs" "cat" "+"))
If something chases the squirrel and it eats the bald eagle then the bald eagle needs the cat.
((("something" "chases" "squirrel" "+") ("something" "eats" "bald eagle" "+")) -> ("bald eagle" "needs" "cat" "+"))
If something chases the cat then the cat does not need the bald eagle.
((("something" "chases" "cat" "+")) -> ("cat" "needs" "bald eagle" "-"))
The squirrel chases the cow.
True
1
proof
[(triple6)]
("squirrel" "chases" "cow" "+")
triple6
The bald eagle does not chase the squirrel.
False
1
inv-proof
[(triple1)]
("bald eagle" "chases" "squirrel" "-")
triple1
The squirrel chases the cat.
True
2
proof
[(((triple9) -> rule1))]
("squirrel" "chases" "cat" "+")
((triple9) -> (rule1 % int1))
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
int1
The cat does not need the cat.
False
2
inv-proof
[(((triple4) -> rule4))]
("cat" "needs" "cat" "-")
((triple4) -> (rule4 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
The cat chases the cat.
True
3
proof
[(((((triple4) -> rule4)) -> rule1))]
("cat" "chases" "cat" "+")
((((triple4) -> (rule4 % int2))) -> (rule1 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1
The cat needs the cat.
("cat" "needs" "cat" "+")
int2
The cat needs the bald eagle.
False
3
inv-proof
[(((((triple5) -> rule1)) -> rule6) OR ((((triple9) -> rule1)) -> rule6) OR ((((((triple4) -> rule4)) -> rule1)) -> rule6))]
("cat" "needs" "bald eagle" "+")
((((triple5) -> (rule1 % int2))) -> (rule6 % int1))
The cat does not need the bald eagle.
("cat" "needs" "bald eagle" "-")
int1
The cow chases the cat.
("cow" "chases" "cat" "+")
int2
((((triple9) -> (rule1 % int2))) -> (rule6 % int1))
The cat does not need the bald eagle.
("cat" "needs" "bald eagle" "-")
int1
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
int2
((((((triple4) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The cat does not need the bald eagle.
("cat" "needs" "bald eagle" "-")
int1
The cat chases the cat.
("cat" "chases" "cat" "+")
int2
The cat needs the cat.
("cat" "needs" "cat" "+")
int3
The bald eagle does not need the cat.
Unknown
inv-rconc
[@1: The bald eagle needs the cat.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "needs" "cat" "-")
The bald eagle chases the cat.
Unknown
rconc
[@2: The bald eagle chases the cat.[CWA. Example of deepest failure = (rule1 <- rule4 <- FAIL)]]
("bald eagle" "chases" "cat" "+")
The cow does not chase the bald eagle.
Unknown
inv-random
[@0: The cow chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "bald eagle" "-")
The cat is young.
Unknown
random
[@0: The cat is young.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "young" "+")
The bald eagle does not chase the bald eagle.
Unknown
inv-random
[@0: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "bald eagle" "-")
The bald eagle eats the squirrel.
Unknown
random
[@0: The bald eagle eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "squirrel" "+")
@0: The bald eagle chases the squirrel.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle needs the cow.[(triple3)] The cat is round.[(triple4)] The cow needs the cat.[(triple5)] The squirrel chases the cow.[(triple6)] The squirrel eats the cat.[(triple7)] The squirrel is not kind.[(triple8)] The squirrel needs the cat.[(triple9)] The squirrel needs the cow.[(triple10)] @1: The cat eats the bald eagle.[(((triple7) -> rule3))] The cat needs the cat.[(((triple4) -> rule4))] The cow chases the cat.[(((triple5) -> rule1))] The squirrel chases the cat.[(((triple9) -> rule1))] The squirrel does not need the bald eagle.[(((triple1) -> rule2))] @2: The cat chases the cat.[(((((triple4) -> rule4)) -> rule1))] The cat does not need the bald eagle.[(((((triple5) -> rule1)) -> rule6) OR ((((triple9) -> rule1)) -> rule6) OR ((((((triple4) -> rule4)) -> rule1)) -> rule6))]
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
triple1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple2
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
triple3
The cat is round.
("cat" "is" "round" "+")
triple4
The cow needs the cat.
("cow" "needs" "cat" "+")
triple5
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
triple6
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
triple7
The squirrel is not kind.
("squirrel" "is" "kind" "-")
triple8
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
triple9
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
triple10
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
((triple7) -> (rule3 % int1))
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
int1
The cat needs the cat.
("cat" "needs" "cat" "+")
((triple4) -> (rule4 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
The cow chases the cat.
("cow" "chases" "cat" "+")
((triple5) -> (rule1 % int1))
The cow chases the cat.
("cow" "chases" "cat" "+")
int1
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
((triple9) -> (rule1 % int1))
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
int1
The squirrel does not need the bald eagle.
("squirrel" "needs" "bald eagle" "-")
((triple1) -> (rule2 % int1))
The squirrel does not need the bald eagle.
("squirrel" "needs" "bald eagle" "-")
int1
The cat chases the cat.
("cat" "chases" "cat" "+")
((((triple4) -> (rule4 % int2))) -> (rule1 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1
The cat needs the cat.
("cat" "needs" "cat" "+")
int2
The cat does not need the bald eagle.
("cat" "needs" "bald eagle" "-")
((((triple5) -> (rule1 % int2))) -> (rule6 % int1))
The cat does not need the bald eagle.
("cat" "needs" "bald eagle" "-")
int1
The cow chases the cat.
("cow" "chases" "cat" "+")
int2
((((triple9) -> (rule1 % int2))) -> (rule6 % int1))
The cat does not need the bald eagle.
("cat" "needs" "bald eagle" "-")
int1
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
int2
((((((triple4) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The cat does not need the bald eagle.
("cat" "needs" "bald eagle" "-")
int1
The cat chases the cat.
("cat" "chases" "cat" "+")
int2
The cat needs the cat.
("cat" "needs" "cat" "+")
int3