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