The bald eagle is blue. The bald eagle is round. The bald eagle likes the cow. The bald eagle needs the cow. The bald eagle needs the mouse. The bald eagle visits the mouse. The cow is blue. The cow is rough. The cow likes the mouse. The cow needs the bald eagle. The cow visits the bald eagle. The mouse is kind. The mouse is rough. The mouse is round. The mouse needs the bald eagle. If someone likes the bald eagle then they like the mouse. If someone is round then they visit the cow. If someone visits the cow then they are rough.
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow likes the mouse.
("cow" "likes" "mouse" "+")
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse is round.
("mouse" "is" "round" "+")
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
If someone likes the bald eagle then they like the mouse.
((("someone" "likes" "bald eagle" "+")) -> ("someone" "likes" "mouse" "+"))
If someone is round then they visit the cow.
((("someone" "is" "round" "+")) -> ("someone" "visits" "cow" "+"))
If someone visits the cow then they are rough.
((("someone" "visits" "cow" "+")) -> ("someone" "is" "rough" "+"))
The bald eagle is blue.
True
1
proof
[(triple1)]
("bald eagle" "is" "blue" "+")
triple1
The cow is not rough.
False
1
inv-proof
[(triple8)]
("cow" "is" "rough" "-")
triple8
The bald eagle visits the cow.
True
2
proof
[(((triple2) -> rule2))]
("bald eagle" "visits" "cow" "+")
((triple2) -> (rule2 % int1))
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
int1
The bald eagle does not visit the cow.
False
2
inv-proof
[(((triple2) -> rule2))]
("bald eagle" "visits" "cow" "-")
((triple2) -> (rule2 % int1))
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
int1
The bald eagle is rough.
True
3
proof
[(((((triple2) -> rule2)) -> rule3))]
("bald eagle" "is" "rough" "+")
((((triple2) -> (rule2 % int2))) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
int2
The bald eagle is not rough.
False
3
inv-proof
[(((((triple2) -> rule2)) -> rule3))]
("bald eagle" "is" "rough" "-")
((((triple2) -> (rule2 % int2))) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
int2
The cow does not visit the cow.
Unknown
inv-rconc
[@1: The cow visits the cow.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "visits" "cow" "-")
The mouse likes the mouse.
Unknown
rconc
[@1: The mouse likes the mouse.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "likes" "mouse" "+")
The bald eagle does not like the mouse.
Unknown
inv-rconc
[@1: The bald eagle likes the mouse.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "likes" "mouse" "-")
The cow likes the cow.
Unknown
random
[@0: The cow likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "cow" "+")
The cow is not round.
Unknown
inv-random
[@0: The cow is round.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "round" "-")
The bald eagle visits the bald eagle.
Unknown
random
[@0: The bald eagle visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "bald eagle" "+")
@0: The bald eagle is blue.[(triple1)] The bald eagle is round.[(triple2)] The bald eagle likes the cow.[(triple3)] The bald eagle needs the cow.[(triple4)] The bald eagle needs the mouse.[(triple5)] The bald eagle visits the mouse.[(triple6)] The cow is blue.[(triple7)] The cow is rough.[(triple8)] The cow likes the mouse.[(triple9)] The cow needs the bald eagle.[(triple10)] The cow visits the bald eagle.[(triple11)] The mouse is kind.[(triple12)] The mouse is rough.[(triple13 OR ((((triple14) -> rule2)) -> rule3))] The mouse is round.[(triple14)] The mouse needs the bald eagle.[(triple15)] @1: The bald eagle visits the cow.[(((triple2) -> rule2))] The mouse visits the cow.[(((triple14) -> rule2))] @2: The bald eagle is rough.[(((((triple2) -> rule2)) -> rule3))]
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple1
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple2
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
triple3
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
triple4
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
triple5
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
triple6
The cow is blue.
("cow" "is" "blue" "+")
triple7
The cow is rough.
("cow" "is" "rough" "+")
triple8
The cow likes the mouse.
("cow" "likes" "mouse" "+")
triple9
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
triple10
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
triple11
The mouse is kind.
("mouse" "is" "kind" "+")
triple12
The mouse is rough.
("mouse" "is" "rough" "+")
triple13
((((triple14) -> (rule2 % int2))) -> (rule3 % int1))
The mouse is rough.
("mouse" "is" "rough" "+")
int1
The mouse visits the cow.
("mouse" "visits" "cow" "+")
int2
The mouse is round.
("mouse" "is" "round" "+")
triple14
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
triple15
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
((triple2) -> (rule2 % int1))
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
int1
The mouse visits the cow.
("mouse" "visits" "cow" "+")
((triple14) -> (rule2 % int1))
The mouse visits the cow.
("mouse" "visits" "cow" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
((((triple2) -> (rule2 % int2))) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
int2