The bald eagle is nice. The bald eagle sees the mouse. The mouse eats the bald eagle. The mouse is blue. The mouse needs the bald eagle. The mouse needs the tiger. The mouse sees the tiger. The tiger eats the bald eagle. The tiger does not eat the mouse. The tiger is not kind. The tiger is rough. The tiger needs the bald eagle. If someone needs the mouse and the mouse needs the tiger then the mouse does not see the bald eagle. If someone sees the mouse and they eat the bald eagle then the bald eagle needs the mouse. If someone sees the tiger then the tiger needs the mouse. If someone sees the tiger then the tiger needs the mouse. If someone sees the mouse and the mouse sees the tiger then they see the tiger. If someone sees the bald eagle then the bald eagle is nice. If someone sees the bald eagle then the bald eagle is not nice. If the tiger does not need the bald eagle and the tiger does not see the bald eagle then the bald eagle eats the tiger.
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
The tiger does not eat the mouse.
("tiger" "eats" "mouse" "-")
The tiger is not kind.
("tiger" "is" "kind" "-")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
If someone needs the mouse and the mouse needs the tiger then the mouse does not see the bald eagle.
((("someone" "needs" "mouse" "+") ("mouse" "needs" "tiger" "+")) -> ("mouse" "sees" "bald eagle" "-"))
If someone sees the mouse and they eat the bald eagle then the bald eagle needs the mouse.
((("someone" "sees" "mouse" "+") ("someone" "eats" "bald eagle" "+")) -> ("bald eagle" "needs" "mouse" "+"))
If someone sees the tiger then the tiger needs the mouse.
((("someone" "sees" "tiger" "+")) -> ("tiger" "needs" "mouse" "+"))
If someone sees the tiger then the tiger needs the mouse.
((("someone" "sees" "tiger" "+")) -> ("tiger" "needs" "mouse" "+"))
If someone sees the mouse and the mouse sees the tiger then they see the tiger.
((("someone" "sees" "mouse" "+") ("mouse" "sees" "tiger" "+")) -> ("someone" "sees" "tiger" "+"))
If someone sees the bald eagle then the bald eagle is nice.
((("someone" "sees" "bald eagle" "+")) -> ("bald eagle" "is" "nice" "+"))
If someone sees the bald eagle then the bald eagle is not nice.
((("someone" "sees" "bald eagle" "+")) -> ("bald eagle" "is" "nice" "-"))
If the tiger does not need the bald eagle and the tiger does not see the bald eagle then the bald eagle eats the tiger.
((("tiger" "needs" "bald eagle" "~") ("tiger" "sees" "bald eagle" "~")) -> ("bald eagle" "eats" "tiger" "+"))
The bald eagle is nice.
True
1
proof
[(triple1)]
("bald eagle" "is" "nice" "+")
triple1
The mouse is not blue.
False
1
inv-proof
[(triple4)]
("mouse" "is" "blue" "-")
triple4
The tiger does not see the tiger.
Unknown
inv-rconc
[@1: The tiger sees the tiger.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("tiger" "sees" "tiger" "-")
The tiger is cold.
Unknown
random
[@0: The tiger is cold.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "cold" "+")
@0: The bald eagle is nice.[(triple1)] The bald eagle sees the mouse.[(triple2)] The mouse eats the bald eagle.[(triple3)] The mouse is blue.[(triple4)] The mouse needs the bald eagle.[(triple5)] The mouse needs the tiger.[(triple6)] The mouse sees the tiger.[(triple7)] The tiger does not eat the mouse.[(triple9)] The tiger eats the bald eagle.[(triple8)] The tiger is not kind.[(triple10)] The tiger is rough.[(triple11)] The tiger needs the bald eagle.[(triple12)] @1: The bald eagle sees the tiger.[(((triple2 triple7) -> rule5))] The tiger needs the mouse.[(((triple7) -> rule3) OR ((triple7) -> rule4) OR ((((triple2 triple7) -> rule5)) -> rule3) OR ((((triple2 triple7) -> rule5)) -> rule4))] @2: The mouse does not see the bald eagle.[(((((triple7) -> rule3) triple6) -> rule1) OR ((((triple7) -> rule4) triple6) -> rule1) OR ((((((triple2 triple7) -> rule5)) -> rule3) triple6) -> rule1) OR ((((((triple2 triple7) -> rule5)) -> rule4) triple6) -> rule1))]
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple1
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
triple2
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
triple3
The mouse is blue.
("mouse" "is" "blue" "+")
triple4
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
triple5
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
triple6
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
triple7
The tiger does not eat the mouse.
("tiger" "eats" "mouse" "-")
triple9
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
triple8
The tiger is not kind.
("tiger" "is" "kind" "-")
triple10
The tiger is rough.
("tiger" "is" "rough" "+")
triple11
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
triple12
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
((triple2 triple7) -> (rule5 % int1))
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
int1
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
((triple7) -> (rule3 % int1))
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
int1
((triple7) -> (rule4 % int1))
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
int1
((((triple2 triple7) -> (rule5 % int2))) -> (rule3 % int1))
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
int1
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
int2
((((triple2 triple7) -> (rule5 % int2))) -> (rule4 % int1))
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
int1
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
int2
The mouse does not see the bald eagle.
("mouse" "sees" "bald eagle" "-")
((((triple7) -> (rule3 % int2)) triple6) -> (rule1 % int1))
The mouse does not see the bald eagle.
("mouse" "sees" "bald eagle" "-")
int1
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
int2
((((triple7) -> (rule4 % int2)) triple6) -> (rule1 % int1))
The mouse does not see the bald eagle.
("mouse" "sees" "bald eagle" "-")
int1
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
int2
((((((triple2 triple7) -> (rule5 % int3))) -> (rule3 % int2)) triple6) -> (rule1 % int1))
The mouse does not see the bald eagle.
("mouse" "sees" "bald eagle" "-")
int1
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
int2
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
int3
((((((triple2 triple7) -> (rule5 % int3))) -> (rule4 % int2)) triple6) -> (rule1 % int1))
The mouse does not see the bald eagle.
("mouse" "sees" "bald eagle" "-")
int1
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
int2
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
int3