The bald eagle is not nice. The cat needs the bald eagle. The squirrel visits the bald eagle. If something is red and it eats the bald eagle then it does not visit the cat. If something is nice and it eats the squirrel then the squirrel is green. If something needs the bald eagle and it is green then it does not need the cat. If something eats the bald eagle then the bald eagle visits the squirrel. If something visits the squirrel then it eats the cat. If something visits the bald eagle then it is nice. If something is nice then it visits the squirrel. If the cat eats the squirrel and the cat is blue then the squirrel eats the bald eagle.
The bald eagle is not nice.
("bald eagle" "is" "nice" "-")
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
If something is red and it eats the bald eagle then it does not visit the cat.
((("something" "is" "red" "+") ("something" "eats" "bald eagle" "+")) -> ("something" "visits" "cat" "-"))
If something is nice and it eats the squirrel then the squirrel is green.
((("something" "is" "nice" "+") ("something" "eats" "squirrel" "+")) -> ("squirrel" "is" "green" "+"))
If something needs the bald eagle and it is green then it does not need the cat.
((("something" "needs" "bald eagle" "+") ("something" "is" "green" "+")) -> ("something" "needs" "cat" "-"))
If something eats the bald eagle then the bald eagle visits the squirrel.
((("something" "eats" "bald eagle" "+")) -> ("bald eagle" "visits" "squirrel" "+"))
If something visits the squirrel then it eats the cat.
((("something" "visits" "squirrel" "+")) -> ("something" "eats" "cat" "+"))
If something visits the bald eagle then it is nice.
((("something" "visits" "bald eagle" "+")) -> ("something" "is" "nice" "+"))
If something is nice then it visits the squirrel.
((("something" "is" "nice" "+")) -> ("something" "visits" "squirrel" "+"))
If the cat eats the squirrel and the cat is blue then the squirrel eats the bald eagle.
((("cat" "eats" "squirrel" "+") ("cat" "is" "blue" "+")) -> ("squirrel" "eats" "bald eagle" "+"))
The cat needs the bald eagle.
True
1
proof
[(triple2)]
("cat" "needs" "bald eagle" "+")
triple2
The bald eagle is nice.
False
1
inv-proof
[(triple1)]
("bald eagle" "is" "nice" "+")
triple1
The squirrel is nice.
True
2
proof
[(((triple3) -> rule6))]
("squirrel" "is" "nice" "+")
((triple3) -> (rule6 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The squirrel is not nice.
False
2
inv-proof
[(((triple3) -> rule6))]
("squirrel" "is" "nice" "-")
((triple3) -> (rule6 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The squirrel visits the squirrel.
True
3
proof
[(((((triple3) -> rule6)) -> rule7))]
("squirrel" "visits" "squirrel" "+")
((((triple3) -> (rule6 % int2))) -> (rule7 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
int2
The squirrel does not visit the squirrel.
False
3
inv-proof
[(((((triple3) -> rule6)) -> rule7))]
("squirrel" "visits" "squirrel" "-")
((((triple3) -> (rule6 % int2))) -> (rule7 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
int2
The squirrel eats the cat.
True
4
proof
[(((((((triple3) -> rule6)) -> rule7)) -> rule5))]
("squirrel" "eats" "cat" "+")
((((((triple3) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
int1
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int2
The squirrel is nice.
("squirrel" "is" "nice" "+")
int3
The squirrel does not eat the cat.
False
4
inv-proof
[(((((((triple3) -> rule6)) -> rule7)) -> rule5))]
("squirrel" "eats" "cat" "-")
((((((triple3) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
int1
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int2
The squirrel is nice.
("squirrel" "is" "nice" "+")
int3
The cat is not nice.
Unknown
inv-rconc
[@1: The cat is nice.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("cat" "is" "nice" "-")
The cat eats the cat.
Unknown
rconc
[@3: The cat eats the cat.[CWA. Example of deepest failure = (rule5 <- rule7 <- rule6 <- FAIL)]]
("cat" "eats" "cat" "+")
The bald eagle does not visit the squirrel.
Unknown
inv-rconc
[@2: The bald eagle visits the squirrel.[CWA. Example of deepest failure = (rule4 <- rule8 <- FAIL)]]
("bald eagle" "visits" "squirrel" "-")
The bald eagle eats the cat.
Unknown
rconc
[@3: The bald eagle eats the cat.[CWA. Example of deepest failure = (rule5 <- rule4 <- rule8 <- FAIL)]]
("bald eagle" "eats" "cat" "+")
The squirrel does not visit the cat.
Unknown
inv-random
[@0: The squirrel visits the cat.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "cat" "-")
The bald eagle is green.
Unknown
random
[@0: The bald eagle is green.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "green" "+")
The cat is not big.
Unknown
inv-random
[@0: The cat is big.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "big" "-")
The cat is blue.
Unknown
random
[@0: The cat is blue.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "blue" "+")
@0: The bald eagle is not nice.[(triple1)] The cat needs the bald eagle.[(triple2)] The squirrel visits the bald eagle.[(triple3)] @1: The squirrel is nice.[(((triple3) -> rule6))] @2: The squirrel visits the squirrel.[(((((triple3) -> rule6)) -> rule7))] @3: The squirrel eats the cat.[(((((((triple3) -> rule6)) -> rule7)) -> rule5))]
The bald eagle is not nice.
("bald eagle" "is" "nice" "-")
triple1
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
triple2
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
triple3
The squirrel is nice.
("squirrel" "is" "nice" "+")
((triple3) -> (rule6 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
((((triple3) -> (rule6 % int2))) -> (rule7 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
int2
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
((((((triple3) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
int1
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int2
The squirrel is nice.
("squirrel" "is" "nice" "+")
int3