The bald eagle is rough. The bald eagle visits the cat. The cat does not eat the bald eagle. The cat is big. The cat sees the bald eagle. The cat does not see the mouse. The mouse eats the bald eagle. If someone visits the cat then they see the mouse. If someone visits the mouse and they eat the mouse then they eat the bald eagle. If someone eats the mouse then the mouse is not rough. If someone is big then they do not visit the mouse. If someone sees the bald eagle then the bald eagle eats the mouse. All rough people are round. If someone sees the bald eagle and the bald eagle is round then the bald eagle visits the cat. If the bald eagle visits the cat and the bald eagle is not round then the bald eagle is red.
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
The cat does not eat the bald eagle.
("cat" "eats" "bald eagle" "-")
The cat is big.
("cat" "is" "big" "+")
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
The cat does not see the mouse.
("cat" "sees" "mouse" "-")
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
If someone visits the cat then they see the mouse.
((("someone" "visits" "cat" "+")) -> ("someone" "sees" "mouse" "+"))
If someone visits the mouse and they eat the mouse then they eat the bald eagle.
((("someone" "visits" "mouse" "+") ("someone" "eats" "mouse" "+")) -> ("someone" "eats" "bald eagle" "+"))
If someone eats the mouse then the mouse is not rough.
((("someone" "eats" "mouse" "+")) -> ("mouse" "is" "rough" "-"))
If someone is big then they do not visit the mouse.
((("someone" "is" "big" "+")) -> ("someone" "visits" "mouse" "-"))
If someone sees the bald eagle then the bald eagle eats the mouse.
((("someone" "sees" "bald eagle" "+")) -> ("bald eagle" "eats" "mouse" "+"))
All rough people are round.
((("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
If someone sees the bald eagle and the bald eagle is round then the bald eagle visits the cat.
((("someone" "sees" "bald eagle" "+") ("bald eagle" "is" "round" "+")) -> ("bald eagle" "visits" "cat" "+"))
If the bald eagle visits the cat and the bald eagle is not round then the bald eagle is red.
((("bald eagle" "visits" "cat" "+") ("bald eagle" "is" "round" "~")) -> ("bald eagle" "is" "red" "+"))
The bald eagle is rough.
True
1
proof
[(triple1)]
("bald eagle" "is" "rough" "+")
triple1
The cat sees the mouse.
False
1
inv-proof
[(triple6)]
("cat" "sees" "mouse" "+")
triple6
The bald eagle eats the mouse.
True
2
proof
[(((triple5) -> rule5))]
("bald eagle" "eats" "mouse" "+")
((triple5) -> (rule5 % int1))
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
int1
The bald eagle is not round.
False
2
inv-proof
[(((triple1) -> rule6))]
("bald eagle" "is" "round" "-")
((triple1) -> (rule6 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The mouse is not rough.
True
3
proof
[(((((triple5) -> rule5)) -> rule3))]
("mouse" "is" "rough" "-")
((((triple5) -> (rule5 % int2))) -> (rule3 % int1))
The mouse is not rough.
("mouse" "is" "rough" "-")
int1
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
int2
The mouse is rough.
False
3
inv-proof
[(((((triple5) -> rule5)) -> rule3))]
("mouse" "is" "rough" "+")
((((triple5) -> (rule5 % int2))) -> (rule3 % int1))
The mouse is not rough.
("mouse" "is" "rough" "-")
int1
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
int2
The mouse does not see the mouse.
Unknown
inv-rconc
[@1: The mouse sees the mouse.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "sees" "mouse" "-")
The bald eagle is red.
Unknown
rconc
[@1: The bald eagle is red.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("bald eagle" "is" "red" "+")
The bald eagle does not eat the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "eats" "bald eagle" "-")
The bald eagle visits the mouse.
Unknown
random
[@0: The bald eagle visits the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "mouse" "+")
The cat does not see the cat.
Unknown
inv-random
[@0: The cat sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "cat" "-")
The cat is red.
Unknown
random
[@0: The cat is red.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "red" "+")
@0: The bald eagle is rough.[(triple1)] The bald eagle visits the cat.[(triple2 OR ((triple5 ((triple1) -> rule6)) -> rule7))] The cat does not eat the bald eagle.[(triple3)] The cat does not see the mouse.[(triple6)] The cat is big.[(triple4)] The cat sees the bald eagle.[(triple5)] The mouse eats the bald eagle.[(triple7)] @1: The bald eagle eats the mouse.[(((triple5) -> rule5))] The bald eagle is round.[(((triple1) -> rule6))] The bald eagle sees the mouse.[(((triple2) -> rule1) OR ((((triple5 ((triple1) -> rule6)) -> rule7)) -> rule1))] The cat does not visit the mouse.[(((triple4) -> rule4))] @2: The mouse is not rough.[(((((triple5) -> rule5)) -> rule3))]
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple1
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
triple2
((triple5 ((triple1) -> (rule6 % int2))) -> (rule7 % int1))
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
int1
The bald eagle is round.
("bald eagle" "is" "round" "+")
int2
The cat does not eat the bald eagle.
("cat" "eats" "bald eagle" "-")
triple3
The cat does not see the mouse.
("cat" "sees" "mouse" "-")
triple6
The cat is big.
("cat" "is" "big" "+")
triple4
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
triple5
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
triple7
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
((triple5) -> (rule5 % int1))
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
int1
The bald eagle is round.
("bald eagle" "is" "round" "+")
((triple1) -> (rule6 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
((triple2) -> (rule1 % int1))
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
int1
((((triple5 ((triple1) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
int1
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
int2
The bald eagle is round.
("bald eagle" "is" "round" "+")
int3
The cat does not visit the mouse.
("cat" "visits" "mouse" "-")
((triple4) -> (rule4 % int1))
The cat does not visit the mouse.
("cat" "visits" "mouse" "-")
int1
The mouse is not rough.
("mouse" "is" "rough" "-")
((((triple5) -> (rule5 % int2))) -> (rule3 % int1))
The mouse is not rough.
("mouse" "is" "rough" "-")
int1
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
int2