The bald eagle is cold. The bear is blue. The bear is green. The bear needs the bald eagle. The mouse chases the tiger. The mouse needs the bald eagle. The mouse needs the bear. The mouse needs the tiger. The mouse sees the bear. The mouse sees the tiger. The tiger chases the bald eagle. The tiger sees the mouse. If something needs the bear then the bear chases the tiger. If something sees the bald eagle then the bald eagle is blue. If something sees the mouse and it is young then it needs the bear. If something chases the mouse and it chases the bald eagle then the mouse chases the tiger. If something sees the bald eagle then it chases the bear. If something chases the bear and the bear is young then it is kind. If the bear needs the bald eagle then the bear is young. If something needs the tiger then it sees the bald eagle.
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear is green.
("bear" "is" "green" "+")
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
The mouse needs the bear.
("mouse" "needs" "bear" "+")
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
The mouse sees the bear.
("mouse" "sees" "bear" "+")
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
The tiger sees the mouse.
("tiger" "sees" "mouse" "+")
If something needs the bear then the bear chases the tiger.
((("something" "needs" "bear" "+")) -> ("bear" "chases" "tiger" "+"))
If something sees the bald eagle then the bald eagle is blue.
((("something" "sees" "bald eagle" "+")) -> ("bald eagle" "is" "blue" "+"))
If something sees the mouse and it is young then it needs the bear.
((("something" "sees" "mouse" "+") ("something" "is" "young" "+")) -> ("something" "needs" "bear" "+"))
If something chases the mouse and it chases the bald eagle then the mouse chases the tiger.
((("something" "chases" "mouse" "+") ("something" "chases" "bald eagle" "+")) -> ("mouse" "chases" "tiger" "+"))
If something sees the bald eagle then it chases the bear.
((("something" "sees" "bald eagle" "+")) -> ("something" "chases" "bear" "+"))
If something chases the bear and the bear is young then it is kind.
((("something" "chases" "bear" "+") ("bear" "is" "young" "+")) -> ("something" "is" "kind" "+"))
If the bear needs the bald eagle then the bear is young.
((("bear" "needs" "bald eagle" "+")) -> ("bear" "is" "young" "+"))
If something needs the tiger then it sees the bald eagle.
((("something" "needs" "tiger" "+")) -> ("something" "sees" "bald eagle" "+"))
The bear is blue.
True
1
proof
[(triple2)]
("bear" "is" "blue" "+")
triple2
The bald eagle is not cold.
False
1
inv-proof
[(triple1)]
("bald eagle" "is" "cold" "-")
triple1
The bear chases the tiger.
True
2
proof
[(((triple7) -> rule1))]
("bear" "chases" "tiger" "+")
((triple7) -> (rule1 % int1))
The bear chases the tiger.
("bear" "chases" "tiger" "+")
int1
The mouse does not see the bald eagle.
False
2
inv-proof
[(((triple8) -> rule8))]
("mouse" "sees" "bald eagle" "-")
((triple8) -> (rule8 % int1))
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
int1
The bald eagle does not see the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("bald eagle" "sees" "bald eagle" "-")
The bear is kind.
Unknown
rconc
[@3: The bear is kind.[CWA. Example of deepest failure = (rule6 <- rule5 <- rule8 <- FAIL)]]
("bear" "is" "kind" "+")
The bald eagle is not green.
Unknown
inv-random
[@0: The bald eagle is green.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "green" "-")
The tiger is blue.
Unknown
random
[@0: The tiger is blue.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "blue" "+")
@0: The bald eagle is cold.[(triple1)] The bear is blue.[(triple2)] The bear is green.[(triple3)] The bear needs the bald eagle.[(triple4)] The mouse chases the tiger.[(triple5)] The mouse needs the bald eagle.[(triple6)] The mouse needs the bear.[(triple7)] The mouse needs the tiger.[(triple8)] The mouse sees the bear.[(triple9)] The mouse sees the tiger.[(triple10)] The tiger chases the bald eagle.[(triple11)] The tiger sees the mouse.[(triple12)] @1: The bear chases the tiger.[(((triple7) -> rule1))] The bear is young.[(((triple4) -> rule7))] The mouse sees the bald eagle.[(((triple8) -> rule8))] @2: The bald eagle is blue.[(((((triple8) -> rule8)) -> rule2))] The mouse chases the bear.[(((((triple8) -> rule8)) -> rule5))] @3: The mouse is kind.[(((((((triple8) -> rule8)) -> rule5) ((triple4) -> rule7)) -> rule6))]
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple1
The bear is blue.
("bear" "is" "blue" "+")
triple2
The bear is green.
("bear" "is" "green" "+")
triple3
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
triple4
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
triple5
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
triple6
The mouse needs the bear.
("mouse" "needs" "bear" "+")
triple7
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
triple8
The mouse sees the bear.
("mouse" "sees" "bear" "+")
triple9
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
triple10
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
triple11
The tiger sees the mouse.
("tiger" "sees" "mouse" "+")
triple12
The bear chases the tiger.
("bear" "chases" "tiger" "+")
((triple7) -> (rule1 % int1))
The bear chases the tiger.
("bear" "chases" "tiger" "+")
int1
The bear is young.
("bear" "is" "young" "+")
((triple4) -> (rule7 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
((triple8) -> (rule8 % int1))
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
((((triple8) -> (rule8 % int2))) -> (rule2 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
int2
The mouse chases the bear.
("mouse" "chases" "bear" "+")
((((triple8) -> (rule8 % int2))) -> (rule5 % int1))
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int1
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
int2
The mouse is kind.
("mouse" "is" "kind" "+")
((((((triple8) -> (rule8 % int4))) -> (rule5 % int3)) ((triple4) -> (rule7 % int2))) -> (rule6 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The bear is young.
("bear" "is" "young" "+")
int2
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int3
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
int4