The bald eagle sees the bear. The bald eagle sees the lion. The bald eagle visits the mouse. The bear is rough. The bear sees the lion. The bear sees the mouse. The lion eats the bear. The lion is big. The lion visits the mouse. The mouse is blue. If something is green and it sees the bald eagle then the bald eagle is rough. If something visits the bear and it is rough then the bear sees the bald eagle. If something sees the lion then the lion eats the mouse.
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear sees the lion.
("bear" "sees" "lion" "+")
The bear sees the mouse.
("bear" "sees" "mouse" "+")
The lion eats the bear.
("lion" "eats" "bear" "+")
The lion is big.
("lion" "is" "big" "+")
The lion visits the mouse.
("lion" "visits" "mouse" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
If something is green and it sees the bald eagle then the bald eagle is rough.
((("something" "is" "green" "+") ("something" "sees" "bald eagle" "+")) -> ("bald eagle" "is" "rough" "+"))
If something visits the bear and it is rough then the bear sees the bald eagle.
((("something" "visits" "bear" "+") ("something" "is" "rough" "+")) -> ("bear" "sees" "bald eagle" "+"))
If something sees the lion then the lion eats the mouse.
((("something" "sees" "lion" "+")) -> ("lion" "eats" "mouse" "+"))
The bear is rough.
True
1
proof
[(triple4)]
("bear" "is" "rough" "+")
triple4
The lion does not visit the mouse.
False
1
inv-proof
[(triple9)]
("lion" "visits" "mouse" "-")
triple9
The lion eats the mouse.
True
2
proof
[(((triple2) -> rule3) OR ((triple5) -> rule3))]
("lion" "eats" "mouse" "+")
((triple2) -> (rule3 % int1))
The lion eats the mouse.
("lion" "eats" "mouse" "+")
int1
((triple5) -> (rule3 % int1))
The lion eats the mouse.
("lion" "eats" "mouse" "+")
int1
The lion does not eat the mouse.
False
2
inv-proof
[(((triple2) -> rule3) OR ((triple5) -> rule3))]
("lion" "eats" "mouse" "-")
((triple2) -> (rule3 % int1))
The lion eats the mouse.
("lion" "eats" "mouse" "+")
int1
((triple5) -> (rule3 % int1))
The lion eats the mouse.
("lion" "eats" "mouse" "+")
int1
The bald eagle is not rough.
Unknown
inv-rconc
[@1: The bald eagle is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "is" "rough" "-")
The bear sees the bald eagle.
Unknown
rconc
[@1: The bear sees the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "sees" "bald eagle" "+")
The lion does not see the bald eagle.
Unknown
inv-random
[@0: The lion sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("lion" "sees" "bald eagle" "-")
The mouse is red.
Unknown
random
[@0: The mouse is red.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "red" "+")
@0: The bald eagle sees the bear.[(triple1)] The bald eagle sees the lion.[(triple2)] The bald eagle visits the mouse.[(triple3)] The bear is rough.[(triple4)] The bear sees the lion.[(triple5)] The bear sees the mouse.[(triple6)] The lion eats the bear.[(triple7)] The lion is big.[(triple8)] The lion visits the mouse.[(triple9)] The mouse is blue.[(triple10)] @1: The lion eats the mouse.[(((triple2) -> rule3) OR ((triple5) -> rule3))]
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
triple1
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
triple2
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
triple3
The bear is rough.
("bear" "is" "rough" "+")
triple4
The bear sees the lion.
("bear" "sees" "lion" "+")
triple5
The bear sees the mouse.
("bear" "sees" "mouse" "+")
triple6
The lion eats the bear.
("lion" "eats" "bear" "+")
triple7
The lion is big.
("lion" "is" "big" "+")
triple8
The lion visits the mouse.
("lion" "visits" "mouse" "+")
triple9
The mouse is blue.
("mouse" "is" "blue" "+")
triple10
The lion eats the mouse.
("lion" "eats" "mouse" "+")
((triple2) -> (rule3 % int1))
The lion eats the mouse.
("lion" "eats" "mouse" "+")
int1
((triple5) -> (rule3 % int1))
The lion eats the mouse.
("lion" "eats" "mouse" "+")
int1