The bald eagle is kind. The bald eagle is round. The cow visits the bald eagle. The dog chases the mouse. The dog likes the bald eagle. The mouse is big. The mouse likes the cow. All red things are rough. Big things are red. If something chases the cow then it is kind. If something is red then it chases the bald eagle. If something likes the mouse and the mouse chases the cow then it is round. If the cow is kind then the cow visits the bald eagle. If the bald eagle likes the mouse and the mouse likes the bald eagle then the mouse chases the dog. If something likes the dog then the dog visits the bald eagle.
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
The dog chases the mouse.
("dog" "chases" "mouse" "+")
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
The mouse is big.
("mouse" "is" "big" "+")
The mouse likes the cow.
("mouse" "likes" "cow" "+")
All red things are rough.
((("something" "is" "red" "+")) -> ("something" "is" "rough" "+"))
Big things are red.
((("something" "is" "big" "+")) -> ("something" "is" "red" "+"))
If something chases the cow then it is kind.
((("something" "chases" "cow" "+")) -> ("something" "is" "kind" "+"))
If something is red then it chases the bald eagle.
((("something" "is" "red" "+")) -> ("something" "chases" "bald eagle" "+"))
If something likes the mouse and the mouse chases the cow then it is round.
((("something" "likes" "mouse" "+") ("mouse" "chases" "cow" "+")) -> ("something" "is" "round" "+"))
If the cow is kind then the cow visits the bald eagle.
((("cow" "is" "kind" "+")) -> ("cow" "visits" "bald eagle" "+"))
If the bald eagle likes the mouse and the mouse likes the bald eagle then the mouse chases the dog.
((("bald eagle" "likes" "mouse" "+") ("mouse" "likes" "bald eagle" "+")) -> ("mouse" "chases" "dog" "+"))
If something likes the dog then the dog visits the bald eagle.
((("something" "likes" "dog" "+")) -> ("dog" "visits" "bald eagle" "+"))
The bald eagle is round.
True
1
proof
[(triple2)]
("bald eagle" "is" "round" "+")
triple2
The dog does not chase the mouse.
False
1
inv-proof
[(triple4)]
("dog" "chases" "mouse" "-")
triple4
The mouse is red.
True
2
proof
[(((triple6) -> rule2))]
("mouse" "is" "red" "+")
((triple6) -> (rule2 % int1))
The mouse is red.
("mouse" "is" "red" "+")
int1
The mouse is not red.
False
2
inv-proof
[(((triple6) -> rule2))]
("mouse" "is" "red" "-")
((triple6) -> (rule2 % int1))
The mouse is red.
("mouse" "is" "red" "+")
int1
The dog is not red.
Unknown
inv-rconc
[@1: The dog is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "is" "red" "-")
The dog chases the bald eagle.
Unknown
rconc
[@2: The dog chases the bald eagle.[CWA. Example of deepest failure = (rule4 <- rule2 <- FAIL)]]
("dog" "chases" "bald eagle" "+")
The bald eagle does not chase the mouse.
Unknown
inv-random
[@0: The bald eagle chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "mouse" "-")
The cow visits the dog.
Unknown
random
[@0: The cow visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "dog" "+")
@0: The bald eagle is kind.[(triple1)] The bald eagle is round.[(triple2)] The cow visits the bald eagle.[(triple3)] The dog chases the mouse.[(triple4)] The dog likes the bald eagle.[(triple5)] The mouse is big.[(triple6)] The mouse likes the cow.[(triple7)] @1: The mouse is red.[(((triple6) -> rule2))] @2: The mouse chases the bald eagle.[(((((triple6) -> rule2)) -> rule4))] The mouse is rough.[(((((triple6) -> rule2)) -> rule1))]
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple1
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple2
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
triple3
The dog chases the mouse.
("dog" "chases" "mouse" "+")
triple4
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
triple5
The mouse is big.
("mouse" "is" "big" "+")
triple6
The mouse likes the cow.
("mouse" "likes" "cow" "+")
triple7
The mouse is red.
("mouse" "is" "red" "+")
((triple6) -> (rule2 % int1))
The mouse is red.
("mouse" "is" "red" "+")
int1
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
((((triple6) -> (rule2 % int2))) -> (rule4 % int1))
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
int1
The mouse is red.
("mouse" "is" "red" "+")
int2
The mouse is rough.
("mouse" "is" "rough" "+")
((((triple6) -> (rule2 % int2))) -> (rule1 % int1))
The mouse is rough.
("mouse" "is" "rough" "+")
int1
The mouse is red.
("mouse" "is" "red" "+")
int2