The bald eagle eats the mouse. The bald eagle eats the tiger. The bald eagle is blue. The bald eagle is round. The bald eagle needs the tiger. The mouse is green. The mouse is red. The mouse is round. The mouse needs the bald eagle. The mouse needs the tiger. The mouse sees the tiger. The tiger eats the mouse. The tiger is cold. The tiger is green. The tiger is round. If someone eats the tiger and the tiger eats the mouse then the mouse is blue. If the mouse is round then the mouse needs the bald eagle. If someone is blue and they need the bald eagle then they see the bald eagle. If someone sees the tiger then they are green. If someone is red and they see the bald eagle then they see the mouse. If someone is cold then they see the mouse.
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse is round.
("mouse" "is" "round" "+")
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 mouse.
("tiger" "eats" "mouse" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is round.
("tiger" "is" "round" "+")
If someone eats the tiger and the tiger eats the mouse then the mouse is blue.
((("someone" "eats" "tiger" "+") ("tiger" "eats" "mouse" "+")) -> ("mouse" "is" "blue" "+"))
If the mouse is round then the mouse needs the bald eagle.
((("mouse" "is" "round" "+")) -> ("mouse" "needs" "bald eagle" "+"))
If someone is blue and they need the bald eagle then they see the bald eagle.
((("someone" "is" "blue" "+") ("someone" "needs" "bald eagle" "+")) -> ("someone" "sees" "bald eagle" "+"))
If someone sees the tiger then they are green.
((("someone" "sees" "tiger" "+")) -> ("someone" "is" "green" "+"))
If someone is red and they see the bald eagle then they see the mouse.
((("someone" "is" "red" "+") ("someone" "sees" "bald eagle" "+")) -> ("someone" "sees" "mouse" "+"))
If someone is cold then they see the mouse.
((("someone" "is" "cold" "+")) -> ("someone" "sees" "mouse" "+"))
The bald eagle needs the tiger.
True
1
proof
[(triple5)]
("bald eagle" "needs" "tiger" "+")
triple5
The bald eagle does not eat the mouse.
False
1
inv-proof
[(triple1)]
("bald eagle" "eats" "mouse" "-")
triple1
The mouse is blue.
True
3
proof
[(((triple2 triple12) -> rule1))]
("mouse" "is" "blue" "+")
((triple2 triple12) -> (rule1 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse is not blue.
False
3
inv-proof
[(((triple2 triple12) -> rule1))]
("mouse" "is" "blue" "-")
((triple2 triple12) -> (rule1 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse sees the bald eagle.
True
5
proof
[(((((triple2 triple12) -> rule1) triple9) -> rule3) OR ((((triple2 triple12) -> rule1) ((triple8) -> rule2)) -> rule3))]
("mouse" "sees" "bald eagle" "+")
((((triple2 triple12) -> (rule1 % int2)) triple9) -> (rule3 % int1))
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
int2
((((triple2 triple12) -> (rule1 % int3)) ((triple8) -> (rule2 % int2))) -> (rule3 % int1))
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
int1
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
int2
The mouse is blue.
("mouse" "is" "blue" "+")
int3
The mouse does not see the bald eagle.
False
5
inv-proof
[(((((triple2 triple12) -> rule1) triple9) -> rule3) OR ((((triple2 triple12) -> rule1) ((triple8) -> rule2)) -> rule3))]
("mouse" "sees" "bald eagle" "-")
((((triple2 triple12) -> (rule1 % int2)) triple9) -> (rule3 % int1))
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
int2
((((triple2 triple12) -> (rule1 % int3)) ((triple8) -> (rule2 % int2))) -> (rule3 % int1))
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
int1
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
int2
The mouse is blue.
("mouse" "is" "blue" "+")
int3
The mouse sees the mouse.
True
7
proof
[(((triple7 ((((triple2 triple12) -> rule1) triple9) -> rule3)) -> rule5) OR ((triple7 ((((triple2 triple12) -> rule1) ((triple8) -> rule2)) -> rule3)) -> rule5))]
("mouse" "sees" "mouse" "+")
((triple7 ((((triple2 triple12) -> (rule1 % int3)) triple9) -> (rule3 % int2))) -> (rule5 % int1))
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int1
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
int2
The mouse is blue.
("mouse" "is" "blue" "+")
int3
((triple7 ((((triple2 triple12) -> (rule1 % int4)) ((triple8) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int1
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
int2
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
int3
The mouse is blue.
("mouse" "is" "blue" "+")
int4
The mouse does not see the mouse.
False
7
inv-proof
[(((triple7 ((((triple2 triple12) -> rule1) triple9) -> rule3)) -> rule5) OR ((triple7 ((((triple2 triple12) -> rule1) ((triple8) -> rule2)) -> rule3)) -> rule5))]
("mouse" "sees" "mouse" "-")
((triple7 ((((triple2 triple12) -> (rule1 % int3)) triple9) -> (rule3 % int2))) -> (rule5 % int1))
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int1
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
int2
The mouse is blue.
("mouse" "is" "blue" "+")
int3
((triple7 ((((triple2 triple12) -> (rule1 % int4)) ((triple8) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int1
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
int2
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
int3
The mouse is blue.
("mouse" "is" "blue" "+")
int4
The bald eagle does not see the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "sees" "bald eagle" "-")
The bald eagle sees the mouse.
Unknown
rconc
[@1: The bald eagle sees the mouse.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "sees" "mouse" "+")
The bald eagle is not green.
Unknown
inv-rconc
[@1: The bald eagle is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "is" "green" "-")
The tiger sees the bald eagle.
Unknown
rconc
[@1: The tiger sees the bald eagle.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("tiger" "sees" "bald eagle" "+")
The tiger is not blue.
Unknown
inv-random
[@0: The tiger is blue.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "blue" "-")
The tiger needs the bald eagle.
Unknown
random
[@0: The tiger needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "needs" "bald eagle" "+")
The bald eagle is not cold.
Unknown
inv-random
[@0: The bald eagle is cold.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "cold" "-")
The bald eagle is red.
Unknown
random
[@0: The bald eagle is red.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "red" "+")
@0: The bald eagle eats the mouse.[(triple1)] The bald eagle eats the tiger.[(triple2)] The bald eagle is blue.[(triple3)] The bald eagle is round.[(triple4)] The bald eagle needs the tiger.[(triple5)] The mouse is green.[(triple6 OR ((triple11) -> rule4))] The mouse is red.[(triple7)] The mouse is round.[(triple8)] The mouse needs the bald eagle.[(triple9 OR ((triple8) -> rule2))] The mouse needs the tiger.[(triple10)] The mouse sees the tiger.[(triple11)] The tiger eats the mouse.[(triple12)] The tiger is cold.[(triple13)] The tiger is green.[(triple14)] The tiger is round.[(triple15)] @1: The mouse is blue.[(((triple2 triple12) -> rule1))] The tiger sees the mouse.[(((triple13) -> rule6))] @2: The mouse sees the bald eagle.[(((((triple2 triple12) -> rule1) triple9) -> rule3) OR ((((triple2 triple12) -> rule1) ((triple8) -> rule2)) -> rule3))] @3: The mouse sees the mouse.[(((triple7 ((((triple2 triple12) -> rule1) triple9) -> rule3)) -> rule5) OR ((triple7 ((((triple2 triple12) -> rule1) ((triple8) -> rule2)) -> rule3)) -> rule5))]
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
triple1
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
triple2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple3
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple4
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
triple5
The mouse is green.
("mouse" "is" "green" "+")
triple6
((triple11) -> (rule4 % int1))
The mouse is green.
("mouse" "is" "green" "+")
int1
The mouse is red.
("mouse" "is" "red" "+")
triple7
The mouse is round.
("mouse" "is" "round" "+")
triple8
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
triple9
((triple8) -> (rule2 % int1))
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
int1
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
triple10
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
triple11
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
triple12
The tiger is cold.
("tiger" "is" "cold" "+")
triple13
The tiger is green.
("tiger" "is" "green" "+")
triple14
The tiger is round.
("tiger" "is" "round" "+")
triple15
The mouse is blue.
("mouse" "is" "blue" "+")
((triple2 triple12) -> (rule1 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The tiger sees the mouse.
("tiger" "sees" "mouse" "+")
((triple13) -> (rule6 % int1))
The tiger sees the mouse.
("tiger" "sees" "mouse" "+")
int1
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
((((triple2 triple12) -> (rule1 % int2)) triple9) -> (rule3 % int1))
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
int2
((((triple2 triple12) -> (rule1 % int3)) ((triple8) -> (rule2 % int2))) -> (rule3 % int1))
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
int1
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
int2
The mouse is blue.
("mouse" "is" "blue" "+")
int3
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
((triple7 ((((triple2 triple12) -> (rule1 % int3)) triple9) -> (rule3 % int2))) -> (rule5 % int1))
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int1
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
int2
The mouse is blue.
("mouse" "is" "blue" "+")
int3
((triple7 ((((triple2 triple12) -> (rule1 % int4)) ((triple8) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int1
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
int2
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
int3
The mouse is blue.
("mouse" "is" "blue" "+")
int4