The bald eagle is blue. The cow chases the squirrel. The squirrel chases the cow. If something is nice and it chases the squirrel then it visits the bald eagle. If something is rough then it needs the squirrel. If something visits the bald eagle and the bald eagle visits the cow then the cow visits the squirrel. Blue things are young. If something is young then it needs the squirrel. If something needs the bald eagle then the bald eagle visits the cow.
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
If something is nice and it chases the squirrel then it visits the bald eagle.
((("something" "is" "nice" "+") ("something" "chases" "squirrel" "+")) -> ("something" "visits" "bald eagle" "+"))
If something is rough then it needs the squirrel.
((("something" "is" "rough" "+")) -> ("something" "needs" "squirrel" "+"))
If something visits the bald eagle and the bald eagle visits the cow then the cow visits the squirrel.
((("something" "visits" "bald eagle" "+") ("bald eagle" "visits" "cow" "+")) -> ("cow" "visits" "squirrel" "+"))
Blue things are young.
((("something" "is" "blue" "+")) -> ("something" "is" "young" "+"))
If something is young then it needs the squirrel.
((("something" "is" "young" "+")) -> ("something" "needs" "squirrel" "+"))
If something needs the bald eagle then the bald eagle visits the cow.
((("something" "needs" "bald eagle" "+")) -> ("bald eagle" "visits" "cow" "+"))
The bald eagle is blue.
True
1
proof
[(triple1)]
("bald eagle" "is" "blue" "+")
triple1
The bald eagle is not blue.
False
1
inv-proof
[(triple1)]
("bald eagle" "is" "blue" "-")
triple1
The bald eagle is young.
True
2
proof
[(((triple1) -> rule4))]
("bald eagle" "is" "young" "+")
((triple1) -> (rule4 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1
The bald eagle is not young.
False
2
inv-proof
[(((triple1) -> rule4))]
("bald eagle" "is" "young" "-")
((triple1) -> (rule4 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1
The bald eagle needs the squirrel.
True
3
proof
[(((((triple1) -> rule4)) -> rule5))]
("bald eagle" "needs" "squirrel" "+")
((((triple1) -> (rule4 % int2))) -> (rule5 % int1))
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
int1
The bald eagle is young.
("bald eagle" "is" "young" "+")
int2
The bald eagle does not need the squirrel.
False
3
inv-proof
[(((((triple1) -> rule4)) -> rule5))]
("bald eagle" "needs" "squirrel" "-")
((((triple1) -> (rule4 % int2))) -> (rule5 % int1))
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
int1
The bald eagle is young.
("bald eagle" "is" "young" "+")
int2
The squirrel does not visit the bald eagle.
Unknown
inv-rconc
[@1: The squirrel visits the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "visits" "bald eagle" "-")
The bald eagle visits the cow.
Unknown
rconc
[@1: The bald eagle visits the cow.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "visits" "cow" "+")
The cow is not young.
Unknown
inv-rconc
[@1: The cow is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cow" "is" "young" "-")
The cow visits the cow.
Unknown
random
[@0: The cow visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "cow" "+")
The squirrel does not visit the squirrel.
Unknown
inv-random
[@0: The squirrel visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "squirrel" "-")
The cow needs the bald eagle.
Unknown
random
[@0: The cow needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "bald eagle" "+")
@0: The bald eagle is blue.[(triple1)] The cow chases the squirrel.[(triple2)] The squirrel chases the cow.[(triple3)] @1: The bald eagle is young.[(((triple1) -> rule4))] @2: The bald eagle needs the squirrel.[(((((triple1) -> rule4)) -> rule5))]
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple1
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
triple2
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
triple3
The bald eagle is young.
("bald eagle" "is" "young" "+")
((triple1) -> (rule4 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
((((triple1) -> (rule4 % int2))) -> (rule5 % int1))
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
int1
The bald eagle is young.
("bald eagle" "is" "young" "+")
int2