The bald eagle is big. The dog is red. The mouse chases the bald eagle. If something eats the bald eagle then it visits the dog. If something chases the bald eagle and the bald eagle is big then the bald eagle chases the dog. If the bald eagle visits the dog then the bald eagle visits the mouse. If something visits the bald eagle and it is round then it chases the mouse. If something is big and it visits the mouse then it eats the mouse. If something chases the dog then it is round. If something visits the dog and the dog is blue then the dog chases the mouse. If something chases the bald eagle and the bald eagle eats the mouse then it is green.
The bald eagle is big.
("bald eagle" "is" "big" "+")
The dog is red.
("dog" "is" "red" "+")
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
If something eats the bald eagle then it visits the dog.
((("something" "eats" "bald eagle" "+")) -> ("something" "visits" "dog" "+"))
If something chases the bald eagle and the bald eagle is big then the bald eagle chases the dog.
((("something" "chases" "bald eagle" "+") ("bald eagle" "is" "big" "+")) -> ("bald eagle" "chases" "dog" "+"))
If the bald eagle visits the dog then the bald eagle visits the mouse.
((("bald eagle" "visits" "dog" "+")) -> ("bald eagle" "visits" "mouse" "+"))
If something visits the bald eagle and it is round then it chases the mouse.
((("something" "visits" "bald eagle" "+") ("something" "is" "round" "+")) -> ("something" "chases" "mouse" "+"))
If something is big and it visits the mouse then it eats the mouse.
((("something" "is" "big" "+") ("something" "visits" "mouse" "+")) -> ("something" "eats" "mouse" "+"))
If something chases the dog then it is round.
((("something" "chases" "dog" "+")) -> ("something" "is" "round" "+"))
If something visits the dog and the dog is blue then the dog chases the mouse.
((("something" "visits" "dog" "+") ("dog" "is" "blue" "+")) -> ("dog" "chases" "mouse" "+"))
If something chases the bald eagle and the bald eagle eats the mouse then it is green.
((("something" "chases" "bald eagle" "+") ("bald eagle" "eats" "mouse" "+")) -> ("something" "is" "green" "+"))
The mouse chases the bald eagle.
True
1
proof
[(triple3)]
("mouse" "chases" "bald eagle" "+")
triple3
The mouse does not chase the bald eagle.
False
1
inv-proof
[(triple3)]
("mouse" "chases" "bald eagle" "-")
triple3
The bald eagle chases the dog.
True
3
proof
[(((triple3 triple1) -> rule2))]
("bald eagle" "chases" "dog" "+")
((triple3 triple1) -> (rule2 % int1))
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
int1
The bald eagle does not chase the dog.
False
3
inv-proof
[(((triple3 triple1) -> rule2))]
("bald eagle" "chases" "dog" "-")
((triple3 triple1) -> (rule2 % int1))
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
int1
The bald eagle is round.
True
4
proof
[(((((triple3 triple1) -> rule2)) -> rule6))]
("bald eagle" "is" "round" "+")
((((triple3 triple1) -> (rule2 % int2))) -> (rule6 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
int2
The bald eagle is not round.
False
4
inv-proof
[(((((triple3 triple1) -> rule2)) -> rule6))]
("bald eagle" "is" "round" "-")
((((triple3 triple1) -> (rule2 % int2))) -> (rule6 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
int2
The dog does not eat the mouse.
Unknown
inv-rconc
[@1: The dog eats the mouse.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("dog" "eats" "mouse" "-")
The bald eagle eats the mouse.
Unknown
rconc
[@3: The bald eagle eats the mouse.[CWA. Example of deepest failure = (rule5 <- rule3 <- rule1 <- FAIL)]]
("bald eagle" "eats" "mouse" "+")
The dog does not chase the mouse.
Unknown
inv-rconc
[@1: The dog chases the mouse.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("dog" "chases" "mouse" "-")
The bald eagle is red.
Unknown
random
[@0: The bald eagle is red.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "red" "+")
The dog does not chase the dog.
Unknown
inv-random
[@0: The dog chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "dog" "-")
The bald eagle visits the bald eagle.
Unknown
random
[@0: The bald eagle visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "bald eagle" "+")
@0: The bald eagle is big.[(triple1)] The dog is red.[(triple2)] The mouse chases the bald eagle.[(triple3)] @1: The bald eagle chases the dog.[(((triple3 triple1) -> rule2))] @2: The bald eagle is round.[(((((triple3 triple1) -> rule2)) -> rule6))]
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple1
The dog is red.
("dog" "is" "red" "+")
triple2
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
triple3
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
((triple3 triple1) -> (rule2 % int1))
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
int1
The bald eagle is round.
("bald eagle" "is" "round" "+")
((((triple3 triple1) -> (rule2 % int2))) -> (rule6 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
int2