The bald eagle is rough. The bald eagle is round. The bald eagle likes the mouse. The bald eagle visits the mouse. The mouse likes the bald eagle. The mouse sees the bald eagle. The mouse visits the bald eagle. If someone is big then they are not blue. If someone likes the mouse and the mouse visits the bald eagle then the bald eagle is big. If someone is big then they like the bald eagle.
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
If someone is big then they are not blue.
((("someone" "is" "big" "+")) -> ("someone" "is" "blue" "-"))
If someone likes the mouse and the mouse visits the bald eagle then the bald eagle is big.
((("someone" "likes" "mouse" "+") ("mouse" "visits" "bald eagle" "+")) -> ("bald eagle" "is" "big" "+"))
If someone is big then they like the bald eagle.
((("someone" "is" "big" "+")) -> ("someone" "likes" "bald eagle" "+"))
The mouse likes the bald eagle.
True
1
proof
[(triple5)]
("mouse" "likes" "bald eagle" "+")
triple5
The mouse does not visit the bald eagle.
False
1
inv-proof
[(triple7)]
("mouse" "visits" "bald eagle" "-")
triple7
The bald eagle is big.
True
3
proof
[(((triple3 triple7) -> rule2))]
("bald eagle" "is" "big" "+")
((triple3 triple7) -> (rule2 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The bald eagle is not big.
False
3
inv-proof
[(((triple3 triple7) -> rule2))]
("bald eagle" "is" "big" "-")
((triple3 triple7) -> (rule2 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The bald eagle likes the bald eagle.
True
4
proof
[(((((triple3 triple7) -> rule2)) -> rule3))]
("bald eagle" "likes" "bald eagle" "+")
((((triple3 triple7) -> (rule2 % int2))) -> (rule3 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
The bald eagle is big.
("bald eagle" "is" "big" "+")
int2
The bald eagle does not like the bald eagle.
False
4
inv-proof
[(((((triple3 triple7) -> rule2)) -> rule3))]
("bald eagle" "likes" "bald eagle" "-")
((((triple3 triple7) -> (rule2 % int2))) -> (rule3 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
The bald eagle is big.
("bald eagle" "is" "big" "+")
int2
The mouse is not blue.
Unknown
inv-random
[@0: The mouse is blue.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "blue" "-")
The bald eagle sees the mouse.
Unknown
random
[@0: The bald eagle sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "mouse" "+")
The mouse does not visit the mouse.
Unknown
inv-random
[@0: The mouse visits the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "visits" "mouse" "-")
The mouse is rough.
Unknown
random
[@0: The mouse is rough.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "rough" "+")
The mouse is not round.
Unknown
inv-random
[@0: The mouse is round.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "round" "-")
The mouse sees the mouse.
Unknown
random
[@0: The mouse sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "mouse" "+")
@0: The bald eagle is rough.[(triple1)] The bald eagle is round.[(triple2)] The bald eagle likes the mouse.[(triple3)] The bald eagle visits the mouse.[(triple4)] The mouse likes the bald eagle.[(triple5)] The mouse sees the bald eagle.[(triple6)] The mouse visits the bald eagle.[(triple7)] @1: The bald eagle is big.[(((triple3 triple7) -> rule2))] @2: The bald eagle is not blue.[(((((triple3 triple7) -> rule2)) -> rule1))] The bald eagle likes the bald eagle.[(((((triple3 triple7) -> rule2)) -> rule3))]
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple1
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple2
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
triple3
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
triple4
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
triple5
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
triple6
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
triple7
The bald eagle is big.
("bald eagle" "is" "big" "+")
((triple3 triple7) -> (rule2 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The bald eagle is not blue.
("bald eagle" "is" "blue" "-")
((((triple3 triple7) -> (rule2 % int2))) -> (rule1 % int1))
The bald eagle is not blue.
("bald eagle" "is" "blue" "-")
int1
The bald eagle is big.
("bald eagle" "is" "big" "+")
int2
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
((((triple3 triple7) -> (rule2 % int2))) -> (rule3 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
The bald eagle is big.
("bald eagle" "is" "big" "+")
int2