The bald eagle eats the mouse. The bald eagle is big. The bald eagle is nice. The bald eagle is red. The mouse chases the bald eagle. The mouse eats the bald eagle. The mouse is kind. The mouse is red. The mouse visits the bald eagle. The rabbit chases the mouse. The rabbit eats the bald eagle. The rabbit eats the mouse. If the bald eagle visits the rabbit and the rabbit is big then the bald eagle eats the rabbit. Nice people are blue. If someone chases the mouse then the mouse eats the bald eagle.
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
If the bald eagle visits the rabbit and the rabbit is big then the bald eagle eats the rabbit.
((("bald eagle" "visits" "rabbit" "+") ("rabbit" "is" "big" "+")) -> ("bald eagle" "eats" "rabbit" "+"))
Nice people are blue.
((("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
If someone chases the mouse then the mouse eats the bald eagle.
((("someone" "chases" "mouse" "+")) -> ("mouse" "eats" "bald eagle" "+"))
The rabbit eats the mouse.
True
1
proof
[(triple12)]
("rabbit" "eats" "mouse" "+")
triple12
The bald eagle is not red.
False
1
inv-proof
[(triple4)]
("bald eagle" "is" "red" "-")
triple4
The bald eagle is blue.
True
2
proof
[(((triple3) -> rule2))]
("bald eagle" "is" "blue" "+")
((triple3) -> (rule2 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The bald eagle is not blue.
False
2
inv-proof
[(((triple3) -> rule2))]
("bald eagle" "is" "blue" "-")
((triple3) -> (rule2 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The mouse is not blue.
Unknown
inv-rconc
[@1: The mouse is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("mouse" "is" "blue" "-")
The rabbit is blue.
Unknown
rconc
[@1: The rabbit is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("rabbit" "is" "blue" "+")
The bald eagle does not visit the rabbit.
Unknown
inv-random
[@0: The bald eagle visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "rabbit" "-")
The rabbit is big.
Unknown
random
[@0: The rabbit is big.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "big" "+")
@0: The bald eagle eats the mouse.[(triple1)] The bald eagle is big.[(triple2)] The bald eagle is nice.[(triple3)] The bald eagle is red.[(triple4)] The mouse chases the bald eagle.[(triple5)] The mouse eats the bald eagle.[(triple6 OR ((triple10) -> rule3))] The mouse is kind.[(triple7)] The mouse is red.[(triple8)] The mouse visits the bald eagle.[(triple9)] The rabbit chases the mouse.[(triple10)] The rabbit eats the bald eagle.[(triple11)] The rabbit eats the mouse.[(triple12)] @1: The bald eagle is blue.[(((triple3) -> rule2))]
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
triple1
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple3
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple4
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
triple5
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
triple6
((triple10) -> (rule3 % int1))
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
triple7
The mouse is red.
("mouse" "is" "red" "+")
triple8
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
triple9
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
triple10
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
triple11
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
triple12
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
((triple3) -> (rule2 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1