The bald eagle is round. The squirrel chases the bald eagle. If something chases the bald eagle then the bald eagle likes the squirrel. If the squirrel chases the bald eagle then the bald eagle is blue. If the squirrel likes the bald eagle then the squirrel chases the bald eagle. If something chases the bald eagle then it chases the squirrel. If something likes the bald eagle then it visits the squirrel. If something chases the bald eagle and it chases the squirrel then it visits the squirrel. If something chases the bald eagle then the bald eagle visits the squirrel. If something visits the squirrel then it is green.
The bald eagle is round.
("bald eagle" "is" "round" "+")
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
If something chases the bald eagle then the bald eagle likes the squirrel.
((("something" "chases" "bald eagle" "+")) -> ("bald eagle" "likes" "squirrel" "+"))
If the squirrel chases the bald eagle then the bald eagle is blue.
((("squirrel" "chases" "bald eagle" "+")) -> ("bald eagle" "is" "blue" "+"))
If the squirrel likes the bald eagle then the squirrel chases the bald eagle.
((("squirrel" "likes" "bald eagle" "+")) -> ("squirrel" "chases" "bald eagle" "+"))
If something chases the bald eagle then it chases the squirrel.
((("something" "chases" "bald eagle" "+")) -> ("something" "chases" "squirrel" "+"))
If something likes the bald eagle then it visits the squirrel.
((("something" "likes" "bald eagle" "+")) -> ("something" "visits" "squirrel" "+"))
If something chases the bald eagle and it chases the squirrel then it visits the squirrel.
((("something" "chases" "bald eagle" "+") ("something" "chases" "squirrel" "+")) -> ("something" "visits" "squirrel" "+"))
If something chases the bald eagle then the bald eagle visits the squirrel.
((("something" "chases" "bald eagle" "+")) -> ("bald eagle" "visits" "squirrel" "+"))
If something visits the squirrel then it is green.
((("something" "visits" "squirrel" "+")) -> ("something" "is" "green" "+"))
The squirrel chases the bald eagle.
True
1
proof
[(triple2)]
("squirrel" "chases" "bald eagle" "+")
triple2
The squirrel does not chase the bald eagle.
False
1
inv-proof
[(triple2)]
("squirrel" "chases" "bald eagle" "-")
triple2
The bald eagle is blue.
True
2
proof
[(((triple2) -> rule2))]
("bald eagle" "is" "blue" "+")
((triple2) -> (rule2 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The bald eagle does not like the squirrel.
False
2
inv-proof
[(((triple2) -> rule1))]
("bald eagle" "likes" "squirrel" "-")
((triple2) -> (rule1 % int1))
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int1
The bald eagle is green.
True
3
proof
[(((((triple2) -> rule7)) -> rule8))]
("bald eagle" "is" "green" "+")
((((triple2) -> (rule7 % int2))) -> (rule8 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
int2
The squirrel does not visit the squirrel.
False
4
inv-proof
[(((triple2 ((triple2) -> rule4)) -> rule6))]
("squirrel" "visits" "squirrel" "-")
((triple2 ((triple2) -> (rule4 % int2))) -> (rule6 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int2
The squirrel is green.
True
5
proof
[(((((triple2 ((triple2) -> rule4)) -> rule6)) -> rule8))]
("squirrel" "is" "green" "+")
((((triple2 ((triple2) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int2
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int3
The squirrel is not green.
False
5
inv-proof
[(((((triple2 ((triple2) -> rule4)) -> rule6)) -> rule8))]
("squirrel" "is" "green" "-")
((((triple2 ((triple2) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int2
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int3
The bald eagle does not chase the squirrel.
Unknown
inv-rconc
[@1: The bald eagle chases the squirrel.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "chases" "squirrel" "-")
The bald eagle is young.
Unknown
random
[@0: The bald eagle is young.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "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 squirrel likes the squirrel.
Unknown
random
[@0: The squirrel likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "squirrel" "+")
The squirrel is not young.
Unknown
inv-random
[@0: The squirrel is young.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "young" "-")
The bald eagle is cold.
Unknown
random
[@0: The bald eagle is cold.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "cold" "+")
The squirrel is not cold.
Unknown
inv-random
[@0: The squirrel is cold.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "cold" "-")
The squirrel is round.
Unknown
random
[@0: The squirrel is round.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "round" "+")
@0: The bald eagle is round.[(triple1)] The squirrel chases the bald eagle.[(triple2)] @1: The bald eagle is blue.[(((triple2) -> rule2))] The bald eagle likes the squirrel.[(((triple2) -> rule1))] The bald eagle visits the squirrel.[(((triple2) -> rule7))] The squirrel chases the squirrel.[(((triple2) -> rule4))] @2: The bald eagle is green.[(((((triple2) -> rule7)) -> rule8))] The squirrel visits the squirrel.[(((triple2 ((triple2) -> rule4)) -> rule6))] @3: The squirrel is green.[(((((triple2 ((triple2) -> rule4)) -> rule6)) -> rule8))]
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple1
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
triple2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
((triple2) -> (rule2 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
((triple2) -> (rule1 % int1))
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int1
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
((triple2) -> (rule7 % int1))
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
int1
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
((triple2) -> (rule4 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
((((triple2) -> (rule7 % int2))) -> (rule8 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
int2
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
((triple2 ((triple2) -> (rule4 % int2))) -> (rule6 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int2
The squirrel is green.
("squirrel" "is" "green" "+")
((((triple2 ((triple2) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int2
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int3