The bald eagle is big. The bald eagle is kind. The bald eagle sees the tiger. The bald eagle does not visit the tiger. The mouse eats the bald eagle. The mouse is big. The mouse is nice. The mouse sees the bald eagle. The mouse visits the bald eagle. The tiger is big. The tiger is not red. The tiger visits the mouse. If the mouse eats the tiger and the mouse does not eat the bald eagle then the mouse is not nice. If someone visits the tiger then they eat the tiger. If the tiger eats the bald eagle and the tiger is nice then the tiger eats the mouse. If someone eats the bald eagle then the bald eagle is not rough. If someone visits the mouse then they visit the tiger. If someone is rough and they do not visit the bald eagle then the bald eagle is red.
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
The bald eagle does not visit the tiger.
("bald eagle" "visits" "tiger" "-")
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
The mouse is big.
("mouse" "is" "big" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger is not red.
("tiger" "is" "red" "-")
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
If the mouse eats the tiger and the mouse does not eat the bald eagle then the mouse is not nice.
((("mouse" "eats" "tiger" "+") ("mouse" "eats" "bald eagle" "~")) -> ("mouse" "is" "nice" "-"))
If someone visits the tiger then they eat the tiger.
((("someone" "visits" "tiger" "+")) -> ("someone" "eats" "tiger" "+"))
If the tiger eats the bald eagle and the tiger is nice then the tiger eats the mouse.
((("tiger" "eats" "bald eagle" "+") ("tiger" "is" "nice" "+")) -> ("tiger" "eats" "mouse" "+"))
If someone eats the bald eagle then the bald eagle is not rough.
((("someone" "eats" "bald eagle" "+")) -> ("bald eagle" "is" "rough" "-"))
If someone visits the mouse then they visit the tiger.
((("someone" "visits" "mouse" "+")) -> ("someone" "visits" "tiger" "+"))
If someone is rough and they do not visit the bald eagle then the bald eagle is red.
((("someone" "is" "rough" "+") ("someone" "visits" "bald eagle" "~")) -> ("bald eagle" "is" "red" "+"))
The mouse sees the bald eagle.
True
1
proof
[(triple8)]
("mouse" "sees" "bald eagle" "+")
triple8
The mouse is not big.
False
1
inv-proof
[(triple6)]
("mouse" "is" "big" "-")
triple6
The bald eagle is not rough.
True
2
proof
[(((triple5) -> rule4))]
("bald eagle" "is" "rough" "-")
((triple5) -> (rule4 % int1))
The bald eagle is not rough.
("bald eagle" "is" "rough" "-")
int1
The tiger does not visit the tiger.
False
2
inv-proof
[(((triple12) -> rule5))]
("tiger" "visits" "tiger" "-")
((triple12) -> (rule5 % int1))
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int1
The tiger eats the tiger.
True
3
proof
[(((((triple12) -> rule5)) -> rule2))]
("tiger" "eats" "tiger" "+")
((((triple12) -> (rule5 % int2))) -> (rule2 % int1))
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int1
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int2
The tiger does not eat the tiger.
False
3
inv-proof
[(((((triple12) -> rule5)) -> rule2))]
("tiger" "eats" "tiger" "-")
((((triple12) -> (rule5 % int2))) -> (rule2 % int1))
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int1
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int2
The mouse does not visit the tiger.
Unknown
inv-rconc
[@1: The mouse visits the tiger.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("mouse" "visits" "tiger" "-")
The bald eagle is red.
Unknown
rconc
[@1: The bald eagle is red.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "is" "red" "+")
The tiger does not eat the mouse.
Unknown
inv-rconc
[@1: The tiger eats the mouse.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("tiger" "eats" "mouse" "-")
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 mouse does not see the mouse.
Unknown
inv-random
[@0: The mouse sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "mouse" "-")
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 does not visit the tiger.[(triple4)] The bald eagle is big.[(triple1)] The bald eagle is kind.[(triple2)] The bald eagle sees the tiger.[(triple3)] The mouse eats the bald eagle.[(triple5)] The mouse is big.[(triple6)] The mouse is nice.[(triple7)] The mouse sees the bald eagle.[(triple8)] The mouse visits the bald eagle.[(triple9)] The tiger is big.[(triple10)] The tiger is not red.[(triple11)] The tiger visits the mouse.[(triple12)] @1: The bald eagle is not rough.[(((triple5) -> rule4))] The tiger visits the tiger.[(((triple12) -> rule5))] @2: The tiger eats the tiger.[(((((triple12) -> rule5)) -> rule2))]
The bald eagle does not visit the tiger.
("bald eagle" "visits" "tiger" "-")
triple4
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple2
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
triple3
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
triple5
The mouse is big.
("mouse" "is" "big" "+")
triple6
The mouse is nice.
("mouse" "is" "nice" "+")
triple7
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
triple8
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
triple9
The tiger is big.
("tiger" "is" "big" "+")
triple10
The tiger is not red.
("tiger" "is" "red" "-")
triple11
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
triple12
The bald eagle is not rough.
("bald eagle" "is" "rough" "-")
((triple5) -> (rule4 % int1))
The bald eagle is not rough.
("bald eagle" "is" "rough" "-")
int1
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
((triple12) -> (rule5 % int1))
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int1
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
((((triple12) -> (rule5 % int2))) -> (rule2 % int1))
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int1
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int2