The bald eagle chases the bear. The bald eagle is blue. The bald eagle is not cold. The bald eagle is green. The bear chases the squirrel. The bear likes the bald eagle. The bear likes the mouse. The mouse is blue. The mouse is young. The squirrel is rough. If the bald eagle chases the mouse then the mouse eats the bald eagle. If something chases the bald eagle and it is blue then the bald eagle chases the mouse. If something eats the bald eagle and it is young then it is green. If something likes the squirrel then it chases the bald eagle. If something is young then it likes the squirrel. If something likes the bear then it does not eat the squirrel.
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is not cold.
("bald eagle" "is" "cold" "-")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
The bear likes the mouse.
("bear" "likes" "mouse" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse is young.
("mouse" "is" "young" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
If the bald eagle chases the mouse then the mouse eats the bald eagle.
((("bald eagle" "chases" "mouse" "+")) -> ("mouse" "eats" "bald eagle" "+"))
If something chases the bald eagle and it is blue then the bald eagle chases the mouse.
((("something" "chases" "bald eagle" "+") ("something" "is" "blue" "+")) -> ("bald eagle" "chases" "mouse" "+"))
If something eats the bald eagle and it is young then it is green.
((("something" "eats" "bald eagle" "+") ("something" "is" "young" "+")) -> ("something" "is" "green" "+"))
If something likes the squirrel then it chases the bald eagle.
((("something" "likes" "squirrel" "+")) -> ("something" "chases" "bald eagle" "+"))
If something is young then it likes the squirrel.
((("something" "is" "young" "+")) -> ("something" "likes" "squirrel" "+"))
If something likes the bear then it does not eat the squirrel.
((("something" "likes" "bear" "+")) -> ("something" "eats" "squirrel" "-"))
The bald eagle is green.
True
1
proof
[(triple4)]
("bald eagle" "is" "green" "+")
triple4
The bald eagle is not blue.
False
1
inv-proof
[(triple2)]
("bald eagle" "is" "blue" "-")
triple2
The mouse likes the squirrel.
True
2
proof
[(((triple9) -> rule5))]
("mouse" "likes" "squirrel" "+")
((triple9) -> (rule5 % int1))
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int1
The mouse does not like the squirrel.
False
2
inv-proof
[(((triple9) -> rule5))]
("mouse" "likes" "squirrel" "-")
((triple9) -> (rule5 % int1))
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int1
The mouse chases the bald eagle.
True
3
proof
[(((((triple9) -> rule5)) -> rule4))]
("mouse" "chases" "bald eagle" "+")
((((triple9) -> (rule5 % int2))) -> (rule4 % int1))
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
int1
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int2
The mouse does not chase the bald eagle.
False
3
inv-proof
[(((((triple9) -> rule5)) -> rule4))]
("mouse" "chases" "bald eagle" "-")
((((triple9) -> (rule5 % int2))) -> (rule4 % int1))
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
int1
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int2
The bald eagle chases the mouse.
True
5
proof
[(((((((triple9) -> rule5)) -> rule4) triple8) -> rule2))]
("bald eagle" "chases" "mouse" "+")
((((((triple9) -> (rule5 % int3))) -> (rule4 % int2)) triple8) -> (rule2 % int1))
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
int1
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
int2
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int3
The bald eagle does not chase the mouse.
False
5
inv-proof
[(((((((triple9) -> rule5)) -> rule4) triple8) -> rule2))]
("bald eagle" "chases" "mouse" "-")
((((((triple9) -> (rule5 % int3))) -> (rule4 % int2)) triple8) -> (rule2 % int1))
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
int1
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
int2
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int3
The mouse eats the bald eagle.
True
6
proof
[(((((((((triple9) -> rule5)) -> rule4) triple8) -> rule2)) -> rule1))]
("mouse" "eats" "bald eagle" "+")
((((((((triple9) -> (rule5 % int4))) -> (rule4 % int3)) triple8) -> (rule2 % int2))) -> (rule1 % int1))
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int1
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
int2
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
int3
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int4
The mouse does not eat the bald eagle.
False
6
inv-proof
[(((((((((triple9) -> rule5)) -> rule4) triple8) -> rule2)) -> rule1))]
("mouse" "eats" "bald eagle" "-")
((((((((triple9) -> (rule5 % int4))) -> (rule4 % int3)) triple8) -> (rule2 % int2))) -> (rule1 % int1))
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int1
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
int2
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
int3
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int4
The mouse is green.
True
8
proof
[(((((((((((triple9) -> rule5)) -> rule4) triple8) -> rule2)) -> rule1) triple9) -> rule3))]
("mouse" "is" "green" "+")
((((((((((triple9) -> (rule5 % int5))) -> (rule4 % int4)) triple8) -> (rule2 % int3))) -> (rule1 % int2)) triple9) -> (rule3 % int1))
The mouse is green.
("mouse" "is" "green" "+")
int1
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int2
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
int3
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
int4
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int5
The mouse is not green.
False
8
inv-proof
[(((((((((((triple9) -> rule5)) -> rule4) triple8) -> rule2)) -> rule1) triple9) -> rule3))]
("mouse" "is" "green" "-")
((((((((((triple9) -> (rule5 % int5))) -> (rule4 % int4)) triple8) -> (rule2 % int3))) -> (rule1 % int2)) triple9) -> (rule3 % int1))
The mouse is green.
("mouse" "is" "green" "+")
int1
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int2
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
int3
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
int4
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int5
The squirrel is not green.
Unknown
inv-rconc
[@1: The squirrel is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("squirrel" "is" "green" "-")
The bear is green.
Unknown
rconc
[@1: The bear is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bear" "is" "green" "+")
The squirrel does not like the squirrel.
Unknown
inv-rconc
[@1: The squirrel likes the squirrel.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("squirrel" "likes" "squirrel" "-")
The squirrel chases the bald eagle.
Unknown
rconc
[@2: The squirrel chases the bald eagle.[CWA. Example of deepest failure = (rule4 <- rule5 <- FAIL)]]
("squirrel" "chases" "bald eagle" "+")
The bear does not chase the bald eagle.
Unknown
inv-rconc
[@2: The bear chases the bald eagle.[CWA. Example of deepest failure = (rule4 <- rule5 <- FAIL)]]
("bear" "chases" "bald eagle" "-")
The bald eagle likes the squirrel.
Unknown
rconc
[@1: The bald eagle likes the squirrel.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "likes" "squirrel" "+")
The squirrel does not chase the mouse.
Unknown
inv-random
[@0: The squirrel chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "mouse" "-")
The mouse is cold.
Unknown
random
[@0: The mouse is cold.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "cold" "+")
The bear does not chase the mouse.
Unknown
inv-random
[@0: The bear chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "mouse" "-")
The bald eagle likes the bear.
Unknown
random
[@0: The bald eagle likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "bear" "+")
The bear is not blue.
Unknown
inv-random
[@0: The bear is blue.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "blue" "-")
The bald eagle likes the mouse.
Unknown
random
[@0: The bald eagle likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "mouse" "+")
@0: The bald eagle chases the bear.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle is green.[(triple4)] The bald eagle is not cold.[(triple3)] The bear chases the squirrel.[(triple5)] The bear likes the bald eagle.[(triple6)] The bear likes the mouse.[(triple7)] The mouse is blue.[(triple8)] The mouse is young.[(triple9)] The squirrel is rough.[(triple10)] @1: The mouse likes the squirrel.[(((triple9) -> rule5))] @2: The mouse chases the bald eagle.[(((((triple9) -> rule5)) -> rule4))] @3: The bald eagle chases the mouse.[(((((((triple9) -> rule5)) -> rule4) triple8) -> rule2))] @4: The mouse eats the bald eagle.[(((((((((triple9) -> rule5)) -> rule4) triple8) -> rule2)) -> rule1))] @5: The mouse is green.[(((((((((((triple9) -> rule5)) -> rule4) triple8) -> rule2)) -> rule1) triple9) -> rule3))]
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
triple1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple2
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple4
The bald eagle is not cold.
("bald eagle" "is" "cold" "-")
triple3
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
triple5
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
triple6
The bear likes the mouse.
("bear" "likes" "mouse" "+")
triple7
The mouse is blue.
("mouse" "is" "blue" "+")
triple8
The mouse is young.
("mouse" "is" "young" "+")
triple9
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple10
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
((triple9) -> (rule5 % int1))
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int1
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
((((triple9) -> (rule5 % int2))) -> (rule4 % int1))
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
int1
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int2
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
((((((triple9) -> (rule5 % int3))) -> (rule4 % int2)) triple8) -> (rule2 % int1))
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
int1
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
int2
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int3
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
((((((((triple9) -> (rule5 % int4))) -> (rule4 % int3)) triple8) -> (rule2 % int2))) -> (rule1 % int1))
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int1
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
int2
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
int3
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int4
The mouse is green.
("mouse" "is" "green" "+")
((((((((((triple9) -> (rule5 % int5))) -> (rule4 % int4)) triple8) -> (rule2 % int3))) -> (rule1 % int2)) triple9) -> (rule3 % int1))
The mouse is green.
("mouse" "is" "green" "+")
int1
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int2
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
int3
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
int4
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int5