The bald eagle is big. The bald eagle sees the rabbit. The mouse is big. The mouse is red. The mouse visits the rabbit. The rabbit is blue. The rabbit visits the bald eagle. If the mouse is cold and the mouse visits the bald eagle then the mouse sees the rabbit. If someone visits the rabbit then the rabbit sees the bald eagle. If someone likes the bald eagle and they are blue then the bald eagle likes the mouse.
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
The mouse is big.
("mouse" "is" "big" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse visits the rabbit.
("mouse" "visits" "rabbit" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
If the mouse is cold and the mouse visits the bald eagle then the mouse sees the rabbit.
((("mouse" "is" "cold" "+") ("mouse" "visits" "bald eagle" "+")) -> ("mouse" "sees" "rabbit" "+"))
If someone visits the rabbit then the rabbit sees the bald eagle.
((("someone" "visits" "rabbit" "+")) -> ("rabbit" "sees" "bald eagle" "+"))
If someone likes the bald eagle and they are blue then the bald eagle likes the mouse.
((("someone" "likes" "bald eagle" "+") ("someone" "is" "blue" "+")) -> ("bald eagle" "likes" "mouse" "+"))
The mouse is big.
True
1
proof
[(triple3)]
("mouse" "is" "big" "+")
triple3
The mouse is not big.
False
1
inv-proof
[(triple3)]
("mouse" "is" "big" "-")
triple3
The mouse does not see the rabbit.
Unknown
inv-rconc
[@1: The mouse sees the rabbit.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "sees" "rabbit" "-")
The mouse likes the bald eagle.
Unknown
random
[@0: The mouse likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "bald eagle" "+")
@0: The bald eagle is big.[(triple1)] The bald eagle sees the rabbit.[(triple2)] The mouse is big.[(triple3)] The mouse is red.[(triple4)] The mouse visits the rabbit.[(triple5)] The rabbit is blue.[(triple6)] The rabbit visits the bald eagle.[(triple7)] @1: The rabbit sees the bald eagle.[(((triple5) -> rule2))]
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple1
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
triple2
The mouse is big.
("mouse" "is" "big" "+")
triple3
The mouse is red.
("mouse" "is" "red" "+")
triple4
The mouse visits the rabbit.
("mouse" "visits" "rabbit" "+")
triple5
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple6
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
triple7
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
((triple5) -> (rule2 % int1))
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int1