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