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