The bald eagle needs the cat. The bald eagle sees the mouse. The bear is kind. The bear is red. The bear is young. The bear needs the bald eagle. The bear sees the bald eagle. The bear sees the cat. The bear sees the mouse. The cat chases the bald eagle. The cat is red. The cat needs the mouse. The mouse needs the bald eagle. The mouse needs the bear. The mouse sees the bald eagle. The mouse sees the bear. If something sees the bear and the bear needs the mouse then the mouse is kind. If something sees the mouse and the mouse chases the bear then the mouse is cold. If something needs the cat and the cat needs the mouse then it is kind. If something chases the cat and the cat needs the bald eagle then it needs the bald eagle. If something needs the bear then it chases the cat. If something needs the bear and the bear needs the bald eagle then the bald eagle needs the cat. If something needs the bear and the bear sees the cat then the bear sees the bald eagle. If something chases the cat then it chases the bald eagle.
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear is red.
("bear" "is" "red" "+")
The bear is young.
("bear" "is" "young" "+")
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
The bear sees the cat.
("bear" "sees" "cat" "+")
The bear sees the mouse.
("bear" "sees" "mouse" "+")
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
The cat is red.
("cat" "is" "red" "+")
The cat needs the mouse.
("cat" "needs" "mouse" "+")
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
The mouse needs the bear.
("mouse" "needs" "bear" "+")
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
The mouse sees the bear.
("mouse" "sees" "bear" "+")
If something sees the bear and the bear needs the mouse then the mouse is kind.
((("something" "sees" "bear" "+") ("bear" "needs" "mouse" "+")) -> ("mouse" "is" "kind" "+"))
If something sees the mouse and the mouse chases the bear then the mouse is cold.
((("something" "sees" "mouse" "+") ("mouse" "chases" "bear" "+")) -> ("mouse" "is" "cold" "+"))
If something needs the cat and the cat needs the mouse then it is kind.
((("something" "needs" "cat" "+") ("cat" "needs" "mouse" "+")) -> ("something" "is" "kind" "+"))
If something chases the cat and the cat needs the bald eagle then it needs the bald eagle.
((("something" "chases" "cat" "+") ("cat" "needs" "bald eagle" "+")) -> ("something" "needs" "bald eagle" "+"))
If something needs the bear then it chases the cat.
((("something" "needs" "bear" "+")) -> ("something" "chases" "cat" "+"))
If something needs the bear and the bear needs the bald eagle then the bald eagle needs the cat.
((("something" "needs" "bear" "+") ("bear" "needs" "bald eagle" "+")) -> ("bald eagle" "needs" "cat" "+"))
If something needs the bear and the bear sees the cat then the bear sees the bald eagle.
((("something" "needs" "bear" "+") ("bear" "sees" "cat" "+")) -> ("bear" "sees" "bald eagle" "+"))
If something chases the cat then it chases the bald eagle.
((("something" "chases" "cat" "+")) -> ("something" "chases" "bald eagle" "+"))
The mouse sees the bald eagle.
True
1
proof
[(triple15)]
("mouse" "sees" "bald eagle" "+")
triple15
The bear does not need the bald eagle.
False
1
inv-proof
[(triple6)]
("bear" "needs" "bald eagle" "-")
triple6
The mouse chases the cat.
True
2
proof
[(((triple14) -> rule5))]
("mouse" "chases" "cat" "+")
((triple14) -> (rule5 % int1))
The mouse chases the cat.
("mouse" "chases" "cat" "+")
int1
The mouse does not chase the cat.
False
2
inv-proof
[(((triple14) -> rule5))]
("mouse" "chases" "cat" "-")
((triple14) -> (rule5 % int1))
The mouse chases the cat.
("mouse" "chases" "cat" "+")
int1
The bald eagle does not need the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "needs" "bald eagle" "-")
The cat is kind.
Unknown
rconc
[@1: The cat is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cat" "is" "kind" "+")
The mouse does not chase the bear.
Unknown
inv-random
[@0: The mouse chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "bear" "-")
The mouse needs the mouse.
Unknown
random
[@0: The mouse needs the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "needs" "mouse" "+")
@0: The bald eagle needs the cat.[(triple1 OR ((triple14 triple6) -> rule6))] The bald eagle sees the mouse.[(triple2)] The bear is kind.[(triple3)] The bear is red.[(triple4)] The bear is young.[(triple5)] The bear needs the bald eagle.[(triple6)] The bear sees the bald eagle.[(triple7 OR ((triple14 triple8) -> rule7))] The bear sees the cat.[(triple8)] The bear sees the mouse.[(triple9)] The cat chases the bald eagle.[(triple10)] The cat is red.[(triple11)] The cat needs the mouse.[(triple12)] The mouse needs the bald eagle.[(triple13)] The mouse needs the bear.[(triple14)] The mouse sees the bald eagle.[(triple15)] The mouse sees the bear.[(triple16)] @1: The bald eagle is kind.[(((triple1 triple12) -> rule3) OR ((((triple14 triple6) -> rule6) triple12) -> rule3))] The mouse chases the cat.[(((triple14) -> rule5))] @2: The mouse chases the bald eagle.[(((((triple14) -> rule5)) -> rule8))]
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
triple1
((triple14 triple6) -> (rule6 % int1))
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
int1
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
triple2
The bear is kind.
("bear" "is" "kind" "+")
triple3
The bear is red.
("bear" "is" "red" "+")
triple4
The bear is young.
("bear" "is" "young" "+")
triple5
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
triple6
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
triple7
((triple14 triple8) -> (rule7 % int1))
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int1
The bear sees the cat.
("bear" "sees" "cat" "+")
triple8
The bear sees the mouse.
("bear" "sees" "mouse" "+")
triple9
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
triple10
The cat is red.
("cat" "is" "red" "+")
triple11
The cat needs the mouse.
("cat" "needs" "mouse" "+")
triple12
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
triple13
The mouse needs the bear.
("mouse" "needs" "bear" "+")
triple14
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
triple15
The mouse sees the bear.
("mouse" "sees" "bear" "+")
triple16
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
((triple1 triple12) -> (rule3 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
((((triple14 triple6) -> (rule6 % int2)) triple12) -> (rule3 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
int2
The mouse chases the cat.
("mouse" "chases" "cat" "+")
((triple14) -> (rule5 % int1))
The mouse chases the cat.
("mouse" "chases" "cat" "+")
int1
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
((((triple14) -> (rule5 % int2))) -> (rule8 % int1))
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
int1
The mouse chases the cat.
("mouse" "chases" "cat" "+")
int2