The bald eagle eats the bear. The bald eagle eats the cat. The bald eagle is green. The bald eagle sees the bear. The bald eagle visits the bear. The bald eagle visits the rabbit. The bear eats the bald eagle. The cat is green. The cat visits the bear. The rabbit sees the bear. If something visits the cat then the cat eats the bald eagle. If something is big then it is blue. If something is blue and green then it eats the bear. If something visits the rabbit then the rabbit is green. If something is blue and it eats the bear then it is young. If something is green and it sees the bear then it is big. If something is nice and it eats the cat then it visits the bear.
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
The cat is green.
("cat" "is" "green" "+")
The cat visits the bear.
("cat" "visits" "bear" "+")
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
If something visits the cat then the cat eats the bald eagle.
((("something" "visits" "cat" "+")) -> ("cat" "eats" "bald eagle" "+"))
If something is big then it is blue.
((("something" "is" "big" "+")) -> ("something" "is" "blue" "+"))
If something is blue and green then it eats the bear.
((("something" "is" "blue" "+") ("something" "is" "green" "+")) -> ("something" "eats" "bear" "+"))
If something visits the rabbit then the rabbit is green.
((("something" "visits" "rabbit" "+")) -> ("rabbit" "is" "green" "+"))
If something is blue and it eats the bear then it is young.
((("something" "is" "blue" "+") ("something" "eats" "bear" "+")) -> ("something" "is" "young" "+"))
If something is green and it sees the bear then it is big.
((("something" "is" "green" "+") ("something" "sees" "bear" "+")) -> ("something" "is" "big" "+"))
If something is nice and it eats the cat then it visits the bear.
((("something" "is" "nice" "+") ("something" "eats" "cat" "+")) -> ("something" "visits" "bear" "+"))
The bald eagle eats the cat.
True
1
proof
[(triple2)]
("bald eagle" "eats" "cat" "+")
triple2
The cat does not visit the bear.
False
1
inv-proof
[(triple9)]
("cat" "visits" "bear" "-")
triple9
The bald eagle is big.
True
3
proof
[(((triple3 triple4) -> rule6))]
("bald eagle" "is" "big" "+")
((triple3 triple4) -> (rule6 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The rabbit is not green.
False
2
inv-proof
[(((triple6) -> rule4))]
("rabbit" "is" "green" "-")
((triple6) -> (rule4 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is big.
True
4
proof
[(((((triple6) -> rule4) triple10) -> rule6))]
("rabbit" "is" "big" "+")
((((triple6) -> (rule4 % int2)) triple10) -> (rule6 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
int2
The rabbit is not big.
False
4
inv-proof
[(((((triple6) -> rule4) triple10) -> rule6))]
("rabbit" "is" "big" "-")
((((triple6) -> (rule4 % int2)) triple10) -> (rule6 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
int2
The rabbit is blue.
True
5
proof
[(((((((triple6) -> rule4) triple10) -> rule6)) -> rule2))]
("rabbit" "is" "blue" "+")
((((((triple6) -> (rule4 % int3)) triple10) -> (rule6 % int2))) -> (rule2 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The rabbit is green.
("rabbit" "is" "green" "+")
int3
The rabbit is not blue.
False
5
inv-proof
[(((((((triple6) -> rule4) triple10) -> rule6)) -> rule2))]
("rabbit" "is" "blue" "-")
((((((triple6) -> (rule4 % int3)) triple10) -> (rule6 % int2))) -> (rule2 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The rabbit is green.
("rabbit" "is" "green" "+")
int3
The rabbit eats the bear.
True
8
proof
[(((((((((triple6) -> rule4) triple10) -> rule6)) -> rule2) ((triple6) -> rule4)) -> rule3))]
("rabbit" "eats" "bear" "+")
((((((((triple6) -> (rule4 % int4)) triple10) -> (rule6 % int3))) -> (rule2 % int2)) ((triple6) -> (rule4 % int4))) -> (rule3 % int1))
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The rabbit is green.
("rabbit" "is" "green" "+")
int4
The rabbit does not eat the bear.
False
8
inv-proof
[(((((((((triple6) -> rule4) triple10) -> rule6)) -> rule2) ((triple6) -> rule4)) -> rule3))]
("rabbit" "eats" "bear" "-")
((((((((triple6) -> (rule4 % int4)) triple10) -> (rule6 % int3))) -> (rule2 % int2)) ((triple6) -> (rule4 % int4))) -> (rule3 % int1))
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The rabbit is green.
("rabbit" "is" "green" "+")
int4
The rabbit is young.
True
14
proof
[(((((((((triple6) -> rule4) triple10) -> rule6)) -> rule2) ((((((((triple6) -> rule4) triple10) -> rule6)) -> rule2) ((triple6) -> rule4)) -> rule3)) -> rule5))]
("rabbit" "is" "young" "+")
((((((((triple6) -> (rule4 % int5)) triple10) -> (rule6 % int4))) -> (rule2 % int3)) ((((((((triple6) -> (rule4 % int5)) triple10) -> (rule6 % int4))) -> (rule2 % int3)) ((triple6) -> (rule4 % int5))) -> (rule3 % int2))) -> (rule5 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
int2
The rabbit is blue.
("rabbit" "is" "blue" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit is green.
("rabbit" "is" "green" "+")
int5
The rabbit is not young.
False
14
inv-proof
[(((((((((triple6) -> rule4) triple10) -> rule6)) -> rule2) ((((((((triple6) -> rule4) triple10) -> rule6)) -> rule2) ((triple6) -> rule4)) -> rule3)) -> rule5))]
("rabbit" "is" "young" "-")
((((((((triple6) -> (rule4 % int5)) triple10) -> (rule6 % int4))) -> (rule2 % int3)) ((((((((triple6) -> (rule4 % int5)) triple10) -> (rule6 % int4))) -> (rule2 % int3)) ((triple6) -> (rule4 % int5))) -> (rule3 % int2))) -> (rule5 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
int2
The rabbit is blue.
("rabbit" "is" "blue" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit is green.
("rabbit" "is" "green" "+")
int5
The cat does not eat the bear.
Unknown
inv-rconc
[@3: The cat eats the bear.[CWA. Example of deepest failure = (rule3 <- rule2 <- rule6 <- FAIL)]]
("cat" "eats" "bear" "-")
The bear is blue.
Unknown
rconc
[@2: The bear is blue.[CWA. Example of deepest failure = (rule2 <- rule6 <- FAIL)]]
("bear" "is" "blue" "+")
The bear is not big.
Unknown
inv-rconc
[@1: The bear is big.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bear" "is" "big" "-")
The cat eats the bald eagle.
Unknown
rconc
[@1: The cat eats the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "eats" "bald eagle" "+")
The bear is not young.
Unknown
inv-rconc
[@2: The bear is young.[CWA. Example of deepest failure = (rule5 <- rule3 <- FAIL)]]
("bear" "is" "young" "-")
The cat is blue.
Unknown
rconc
[@2: The cat is blue.[CWA. Example of deepest failure = (rule2 <- rule6 <- FAIL)]]
("cat" "is" "blue" "+")
The bear does not see the cat.
Unknown
inv-random
[@0: The bear sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "cat" "-")
The rabbit visits the bald eagle.
Unknown
random
[@0: The rabbit visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "bald eagle" "+")
The rabbit does not visit the cat.
Unknown
inv-random
[@0: The rabbit visits the cat.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "cat" "-")
The bear sees the bear.
Unknown
random
[@0: The bear sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bear" "+")
The rabbit does not see the bald eagle.
Unknown
inv-random
[@0: The rabbit sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "sees" "bald eagle" "-")
The cat visits the cat.
Unknown
random
[@0: The cat visits the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "cat" "+")
@0: The bald eagle eats the bear.[(triple1 OR ((((((triple3 triple4) -> rule6)) -> rule2) triple3) -> rule3))] The bald eagle eats the cat.[(triple2)] The bald eagle is green.[(triple3)] The bald eagle sees the bear.[(triple4)] The bald eagle visits the bear.[(triple5)] The bald eagle visits the rabbit.[(triple6)] The bear eats the bald eagle.[(triple7)] The cat is green.[(triple8)] The cat visits the bear.[(triple9)] The rabbit sees the bear.[(triple10)] @1: The bald eagle is big.[(((triple3 triple4) -> rule6))] The rabbit is green.[(((triple6) -> rule4))] @2: The bald eagle is blue.[(((((triple3 triple4) -> rule6)) -> rule2))] The rabbit is big.[(((((triple6) -> rule4) triple10) -> rule6))] @3: The bald eagle is young.[(((((((triple3 triple4) -> rule6)) -> rule2) triple1) -> rule5) OR ((((((triple3 triple4) -> rule6)) -> rule2) ((((((triple3 triple4) -> rule6)) -> rule2) triple3) -> rule3)) -> rule5))] The rabbit is blue.[(((((((triple6) -> rule4) triple10) -> rule6)) -> rule2))] @4: The rabbit eats the bear.[(((((((((triple6) -> rule4) triple10) -> rule6)) -> rule2) ((triple6) -> rule4)) -> rule3))] @5: The rabbit is young.[(((((((((triple6) -> rule4) triple10) -> rule6)) -> rule2) ((((((((triple6) -> rule4) triple10) -> rule6)) -> rule2) ((triple6) -> rule4)) -> rule3)) -> rule5))]
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
triple1
((((((triple3 triple4) -> (rule6 % int3))) -> (rule2 % int2)) triple3) -> (rule3 % int1))
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The bald eagle is big.
("bald eagle" "is" "big" "+")
int3
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
triple2
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple3
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
triple4
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
triple5
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
triple6
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
triple7
The cat is green.
("cat" "is" "green" "+")
triple8
The cat visits the bear.
("cat" "visits" "bear" "+")
triple9
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
triple10
The bald eagle is big.
("bald eagle" "is" "big" "+")
((triple3 triple4) -> (rule6 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
((triple6) -> (rule4 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
((((triple3 triple4) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The bald eagle is big.
("bald eagle" "is" "big" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
((((triple6) -> (rule4 % int2)) triple10) -> (rule6 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
int2
The bald eagle is young.
("bald eagle" "is" "young" "+")
((((((triple3 triple4) -> (rule6 % int3))) -> (rule2 % int2)) triple1) -> (rule5 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The bald eagle is big.
("bald eagle" "is" "big" "+")
int3
((((((triple3 triple4) -> (rule6 % int4))) -> (rule2 % int3)) ((((((triple3 triple4) -> (rule6 % int4))) -> (rule2 % int3)) triple3) -> (rule3 % int2))) -> (rule5 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The bald eagle is big.
("bald eagle" "is" "big" "+")
int4
The rabbit is blue.
("rabbit" "is" "blue" "+")
((((((triple6) -> (rule4 % int3)) triple10) -> (rule6 % int2))) -> (rule2 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The rabbit is green.
("rabbit" "is" "green" "+")
int3
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
((((((((triple6) -> (rule4 % int4)) triple10) -> (rule6 % int3))) -> (rule2 % int2)) ((triple6) -> (rule4 % int4))) -> (rule3 % int1))
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The rabbit is green.
("rabbit" "is" "green" "+")
int4
The rabbit is young.
("rabbit" "is" "young" "+")
((((((((triple6) -> (rule4 % int5)) triple10) -> (rule6 % int4))) -> (rule2 % int3)) ((((((((triple6) -> (rule4 % int5)) triple10) -> (rule6 % int4))) -> (rule2 % int3)) ((triple6) -> (rule4 % int5))) -> (rule3 % int2))) -> (rule5 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
int2
The rabbit is blue.
("rabbit" "is" "blue" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit is green.
("rabbit" "is" "green" "+")
int5