The bald eagle chases the mouse. The bald eagle is kind. The bald eagle is nice. The bald eagle is young. The bald eagle needs the mouse. The bald eagle sees the mouse. The mouse chases the bald eagle. The mouse is cold. The mouse is nice. The mouse is young. The mouse needs the bald eagle. The mouse sees the bald eagle. If something sees the mouse then it needs the mouse. If something needs the bald eagle then it sees the mouse. If the mouse sees the bald eagle then the bald eagle chases the mouse.
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse is young.
("mouse" "is" "young" "+")
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
If something sees the mouse then it needs the mouse.
((("something" "sees" "mouse" "+")) -> ("something" "needs" "mouse" "+"))
If something needs the bald eagle then it sees the mouse.
((("something" "needs" "bald eagle" "+")) -> ("something" "sees" "mouse" "+"))
If the mouse sees the bald eagle then the bald eagle chases the mouse.
((("mouse" "sees" "bald eagle" "+")) -> ("bald eagle" "chases" "mouse" "+"))
The mouse chases the bald eagle.
True
1
proof
[(triple7)]
("mouse" "chases" "bald eagle" "+")
triple7
The mouse is not cold.
False
1
inv-proof
[(triple8)]
("mouse" "is" "cold" "-")
triple8
The mouse sees the mouse.
True
2
proof
[(((triple11) -> rule2))]
("mouse" "sees" "mouse" "+")
((triple11) -> (rule2 % int1))
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int1
The mouse does not see the mouse.
False
2
inv-proof
[(((triple11) -> rule2))]
("mouse" "sees" "mouse" "-")
((triple11) -> (rule2 % int1))
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int1
The mouse needs the mouse.
True
3
proof
[(((((triple11) -> rule2)) -> rule1))]
("mouse" "needs" "mouse" "+")
((((triple11) -> (rule2 % int2))) -> (rule1 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int2
The mouse does not need the mouse.
False
3
inv-proof
[(((((triple11) -> rule2)) -> rule1))]
("mouse" "needs" "mouse" "-")
((((triple11) -> (rule2 % int2))) -> (rule1 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int2
The bald eagle is not cold.
Unknown
inv-random
[@0: The bald eagle is cold.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "cold" "-")
The bald eagle is big.
Unknown
random
[@0: The bald eagle is big.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "big" "+")
The mouse is not kind.
Unknown
inv-random
[@0: The mouse is kind.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "kind" "-")
The bald eagle needs the bald eagle.
Unknown
random
[@0: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "bald eagle" "+")
The bald eagle does not see the bald eagle.
Unknown
inv-random
[@0: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "bald eagle" "-")
The mouse chases the mouse.
Unknown
random
[@0: The mouse chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "mouse" "+")
@0: The bald eagle chases the mouse.[(triple1 OR ((triple12) -> rule3))] The bald eagle is kind.[(triple2)] The bald eagle is nice.[(triple3)] The bald eagle is young.[(triple4)] The bald eagle needs the mouse.[(triple5 OR ((triple6) -> rule1))] The bald eagle sees the mouse.[(triple6)] The mouse chases the bald eagle.[(triple7)] The mouse is cold.[(triple8)] The mouse is nice.[(triple9)] The mouse is young.[(triple10)] The mouse needs the bald eagle.[(triple11)] The mouse sees the bald eagle.[(triple12)] @1: The mouse sees the mouse.[(((triple11) -> rule2))] @2: The mouse needs the mouse.[(((((triple11) -> rule2)) -> rule1))]
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
triple1
((triple12) -> (rule3 % int1))
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple3
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple4
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
triple5
((triple6) -> (rule1 % int1))
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
int1
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
triple6
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
triple7
The mouse is cold.
("mouse" "is" "cold" "+")
triple8
The mouse is nice.
("mouse" "is" "nice" "+")
triple9
The mouse is young.
("mouse" "is" "young" "+")
triple10
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
triple11
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
triple12
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
((triple11) -> (rule2 % int1))
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int1
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
((((triple11) -> (rule2 % int2))) -> (rule1 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int2