The bald eagle chases the cat. The bald eagle chases the mouse. The bald eagle eats the bear. The bald eagle is green. The bald eagle needs the bear. The bald eagle needs the mouse. The bear eats the cat. The cat eats the mouse. The cat is round. The mouse is green. If someone is round and they chase the bald eagle then the bald eagle is round. If someone is round then they need the mouse. If someone is round then they chase the bald eagle.
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
The bear eats the cat.
("bear" "eats" "cat" "+")
The cat eats the mouse.
("cat" "eats" "mouse" "+")
The cat is round.
("cat" "is" "round" "+")
The mouse is green.
("mouse" "is" "green" "+")
If someone is round and they chase the bald eagle then the bald eagle is round.
((("someone" "is" "round" "+") ("someone" "chases" "bald eagle" "+")) -> ("bald eagle" "is" "round" "+"))
If someone is round then they need the mouse.
((("someone" "is" "round" "+")) -> ("someone" "needs" "mouse" "+"))
If someone is round then they chase the bald eagle.
((("someone" "is" "round" "+")) -> ("someone" "chases" "bald eagle" "+"))
The bear eats the cat.
True
1
proof
[(triple7)]
("bear" "eats" "cat" "+")
triple7
The bald eagle does not need the bear.
False
1
inv-proof
[(triple5)]
("bald eagle" "needs" "bear" "-")
triple5
The cat chases the bald eagle.
True
2
proof
[(((triple9) -> rule3))]
("cat" "chases" "bald eagle" "+")
((triple9) -> (rule3 % int1))
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int1
The cat does not need the mouse.
False
2
inv-proof
[(((triple9) -> rule2))]
("cat" "needs" "mouse" "-")
((triple9) -> (rule2 % int1))
The cat needs the mouse.
("cat" "needs" "mouse" "+")
int1
The bald eagle is round.
True
4
proof
[(((triple9 ((triple9) -> rule3)) -> rule1))]
("bald eagle" "is" "round" "+")
((triple9 ((triple9) -> (rule3 % int2))) -> (rule1 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int2
The bald eagle is not round.
False
4
inv-proof
[(((triple9 ((triple9) -> rule3)) -> rule1))]
("bald eagle" "is" "round" "-")
((triple9 ((triple9) -> (rule3 % int2))) -> (rule1 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int2
The bear does not need the mouse.
Unknown
inv-rconc
[@1: The bear needs the mouse.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "needs" "mouse" "-")
The bear chases the bald eagle.
Unknown
rconc
[@1: The bear chases the bald eagle.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bear" "chases" "bald eagle" "+")
The mouse does not need the mouse.
Unknown
inv-rconc
[@1: The mouse needs the mouse.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("mouse" "needs" "mouse" "-")
The cat chases the bear.
Unknown
random
[@0: The cat chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "bear" "+")
The bald eagle is not nice.
Unknown
inv-random
[@0: The bald eagle is nice.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "nice" "-")
The bear eats the bald eagle.
Unknown
random
[@0: The bear eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "bald eagle" "+")
@0: The bald eagle chases the cat.[(triple1)] The bald eagle chases the mouse.[(triple2)] The bald eagle eats the bear.[(triple3)] The bald eagle is green.[(triple4)] The bald eagle needs the bear.[(triple5)] The bald eagle needs the mouse.[(triple6 OR ((((triple9 ((triple9) -> rule3)) -> rule1)) -> rule2))] The bear eats the cat.[(triple7)] The cat eats the mouse.[(triple8)] The cat is round.[(triple9)] The mouse is green.[(triple10)] @1: The cat chases the bald eagle.[(((triple9) -> rule3))] The cat needs the mouse.[(((triple9) -> rule2))] @2: The bald eagle is round.[(((triple9 ((triple9) -> rule3)) -> rule1))] @3: The bald eagle chases the bald eagle.[(((((triple9 ((triple9) -> rule3)) -> rule1)) -> rule3))]
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
triple1
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
triple2
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
triple3
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple4
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
triple5
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
triple6
((((triple9 ((triple9) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
int1
The bald eagle is round.
("bald eagle" "is" "round" "+")
int2
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int3
The bear eats the cat.
("bear" "eats" "cat" "+")
triple7
The cat eats the mouse.
("cat" "eats" "mouse" "+")
triple8
The cat is round.
("cat" "is" "round" "+")
triple9
The mouse is green.
("mouse" "is" "green" "+")
triple10
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
((triple9) -> (rule3 % int1))
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int1
The cat needs the mouse.
("cat" "needs" "mouse" "+")
((triple9) -> (rule2 % int1))
The cat needs the mouse.
("cat" "needs" "mouse" "+")
int1
The bald eagle is round.
("bald eagle" "is" "round" "+")
((triple9 ((triple9) -> (rule3 % int2))) -> (rule1 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int2
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
((((triple9 ((triple9) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle is round.
("bald eagle" "is" "round" "+")
int2
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int3