The bald eagle likes the squirrel. The bear chases the lion. The bear eats the bald eagle. The bear eats the squirrel. The bear likes the bald eagle. The lion chases the bear. The lion is cold. The lion likes the squirrel. The squirrel chases the lion. The squirrel likes the lion. If someone is cold and they like the bear then the bear eats the bald eagle. If someone chases the bear and they like the squirrel then the squirrel chases the lion. If someone chases the bald eagle then they are kind. If the lion likes the squirrel and the squirrel eats the bald eagle then the squirrel is green. If someone likes the lion then they chase the bald eagle. Cold people are rough. If someone is kind then they eat the squirrel. If someone eats the squirrel and the squirrel chases the lion then they are cold.
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
The bear chases the lion.
("bear" "chases" "lion" "+")
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
The lion chases the bear.
("lion" "chases" "bear" "+")
The lion is cold.
("lion" "is" "cold" "+")
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
If someone is cold and they like the bear then the bear eats the bald eagle.
((("someone" "is" "cold" "+") ("someone" "likes" "bear" "+")) -> ("bear" "eats" "bald eagle" "+"))
If someone chases the bear and they like the squirrel then the squirrel chases the lion.
((("someone" "chases" "bear" "+") ("someone" "likes" "squirrel" "+")) -> ("squirrel" "chases" "lion" "+"))
If someone chases the bald eagle then they are kind.
((("someone" "chases" "bald eagle" "+")) -> ("someone" "is" "kind" "+"))
If the lion likes the squirrel and the squirrel eats the bald eagle then the squirrel is green.
((("lion" "likes" "squirrel" "+") ("squirrel" "eats" "bald eagle" "+")) -> ("squirrel" "is" "green" "+"))
If someone likes the lion then they chase the bald eagle.
((("someone" "likes" "lion" "+")) -> ("someone" "chases" "bald eagle" "+"))
Cold people are rough.
((("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "+"))
If someone is kind then they eat the squirrel.
((("someone" "is" "kind" "+")) -> ("someone" "eats" "squirrel" "+"))
If someone eats the squirrel and the squirrel chases the lion then they are cold.
((("someone" "eats" "squirrel" "+") ("squirrel" "chases" "lion" "+")) -> ("someone" "is" "cold" "+"))
The squirrel chases the lion.
True
1
proof
[(triple9 OR ((triple6 triple8) -> rule2))]
("squirrel" "chases" "lion" "+")
triple9
((triple6 triple8) -> (rule2 % int1))
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int1
The bear does not eat the bald eagle.
False
1
inv-proof
[(triple3)]
("bear" "eats" "bald eagle" "-")
triple3
The lion is rough.
True
2
proof
[(((triple7) -> rule6))]
("lion" "is" "rough" "+")
((triple7) -> (rule6 % int1))
The lion is rough.
("lion" "is" "rough" "+")
int1
The bear is not cold.
False
3
inv-proof
[(((triple4 triple9) -> rule8) OR ((triple4 ((triple6 triple8) -> rule2)) -> rule8))]
("bear" "is" "cold" "-")
((triple4 triple9) -> (rule8 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
((triple4 ((triple6 triple8) -> (rule2 % int2))) -> (rule8 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int2
The squirrel is kind.
True
3
proof
[(((((triple10) -> rule5)) -> rule3))]
("squirrel" "is" "kind" "+")
((((triple10) -> (rule5 % int2))) -> (rule3 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int2
The bear is not rough.
False
4
inv-proof
[(((((triple4 triple9) -> rule8)) -> rule6) OR ((((triple4 ((triple6 triple8) -> rule2)) -> rule8)) -> rule6))]
("bear" "is" "rough" "-")
((((triple4 triple9) -> (rule8 % int2))) -> (rule6 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2
((((triple4 ((triple6 triple8) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int3
The squirrel eats the squirrel.
True
4
proof
[(((((((triple10) -> rule5)) -> rule3)) -> rule7))]
("squirrel" "eats" "squirrel" "+")
((((((triple10) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
int2
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int3
The squirrel does not eat the squirrel.
False
4
inv-proof
[(((((((triple10) -> rule5)) -> rule3)) -> rule7))]
("squirrel" "eats" "squirrel" "-")
((((((triple10) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
int2
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int3
The squirrel is cold.
True
6
proof
[(((((((((triple10) -> rule5)) -> rule3)) -> rule7) triple9) -> rule8) OR ((((((((triple10) -> rule5)) -> rule3)) -> rule7) ((triple6 triple8) -> rule2)) -> rule8))]
("squirrel" "is" "cold" "+")
((((((((triple10) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule7 % int2)) triple9) -> (rule8 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int4
((((((((triple10) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule7 % int3)) ((triple6 triple8) -> (rule2 % int2))) -> (rule8 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int2
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int3
The squirrel is kind.
("squirrel" "is" "kind" "+")
int4
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int5
The squirrel is not cold.
False
6
inv-proof
[(((((((((triple10) -> rule5)) -> rule3)) -> rule7) triple9) -> rule8) OR ((((((((triple10) -> rule5)) -> rule3)) -> rule7) ((triple6 triple8) -> rule2)) -> rule8))]
("squirrel" "is" "cold" "-")
((((((((triple10) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule7 % int2)) triple9) -> (rule8 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int4
((((((((triple10) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule7 % int3)) ((triple6 triple8) -> (rule2 % int2))) -> (rule8 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int2
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int3
The squirrel is kind.
("squirrel" "is" "kind" "+")
int4
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int5
The squirrel is rough.
True
7
proof
[(((((((((((triple10) -> rule5)) -> rule3)) -> rule7) triple9) -> rule8)) -> rule6) OR ((((((((((triple10) -> rule5)) -> rule3)) -> rule7) ((triple6 triple8) -> rule2)) -> rule8)) -> rule6))]
("squirrel" "is" "rough" "+")
((((((((((triple10) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule7 % int3)) triple9) -> (rule8 % int2))) -> (rule6 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel is cold.
("squirrel" "is" "cold" "+")
int2
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int3
The squirrel is kind.
("squirrel" "is" "kind" "+")
int4
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int5
((((((((((triple10) -> (rule5 % int6))) -> (rule3 % int5))) -> (rule7 % int4)) ((triple6 triple8) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel is cold.
("squirrel" "is" "cold" "+")
int2
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int3
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int4
The squirrel is kind.
("squirrel" "is" "kind" "+")
int5
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int6
The squirrel is not rough.
False
7
inv-proof
[(((((((((((triple10) -> rule5)) -> rule3)) -> rule7) triple9) -> rule8)) -> rule6) OR ((((((((((triple10) -> rule5)) -> rule3)) -> rule7) ((triple6 triple8) -> rule2)) -> rule8)) -> rule6))]
("squirrel" "is" "rough" "-")
((((((((((triple10) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule7 % int3)) triple9) -> (rule8 % int2))) -> (rule6 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel is cold.
("squirrel" "is" "cold" "+")
int2
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int3
The squirrel is kind.
("squirrel" "is" "kind" "+")
int4
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int5
((((((((((triple10) -> (rule5 % int6))) -> (rule3 % int5))) -> (rule7 % int4)) ((triple6 triple8) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel is cold.
("squirrel" "is" "cold" "+")
int2
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int3
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int4
The squirrel is kind.
("squirrel" "is" "kind" "+")
int5
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int6
The bald eagle is not kind.
Unknown
inv-rconc
[@2: The bald eagle is kind.[CWA. Example of deepest failure = (rule3 <- rule5 <- FAIL)]]
("bald eagle" "is" "kind" "-")
The squirrel is green.
Unknown
rconc
[@1: The squirrel is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("squirrel" "is" "green" "+")
The lion does not eat the squirrel.
Unknown
inv-rconc
[@3: The lion eats the squirrel.[CWA. Example of deepest failure = (rule7 <- rule3 <- rule5 <- FAIL)]]
("lion" "eats" "squirrel" "-")
The bald eagle is cold.
Unknown
rconc
[@4: The bald eagle is cold.[CWA. Example of deepest failure = (rule8 <- rule7 <- rule3 <- rule5 <- FAIL)]]
("bald eagle" "is" "cold" "+")
The bear does not chase the bald eagle.
Unknown
inv-rconc
[@1: The bear chases the bald eagle.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bear" "chases" "bald eagle" "-")
The bald eagle is rough.
Unknown
rconc
[@5: The bald eagle is rough.[CWA. Example of deepest failure = (rule6 <- rule8 <- rule7 <- rule3 <- rule5 <- FAIL)]]
("bald eagle" "is" "rough" "+")
The bald eagle does not chase the squirrel.
Unknown
inv-random
[@0: The bald eagle chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "squirrel" "-")
The lion eats the lion.
Unknown
random
[@0: The lion eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "lion" "+")
The bear does not eat the bear.
Unknown
inv-random
[@0: The bear eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "bear" "-")
The bald eagle is green.
Unknown
random
[@0: The bald eagle is green.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "green" "+")
The squirrel does not like the squirrel.
Unknown
inv-random
[@0: The squirrel likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "squirrel" "-")
The bald eagle eats the bear.
Unknown
random
[@0: The bald eagle eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "bear" "+")
@0: The bald eagle likes the squirrel.[(triple1)] The bear chases the lion.[(triple2)] The bear eats the bald eagle.[(triple3)] The bear eats the squirrel.[(triple4)] The bear likes the bald eagle.[(triple5)] The lion chases the bear.[(triple6)] The lion is cold.[(triple7)] The lion likes the squirrel.[(triple8)] The squirrel chases the lion.[(triple9 OR ((triple6 triple8) -> rule2))] The squirrel likes the lion.[(triple10)] @1: The bear is cold.[(((triple4 triple9) -> rule8) OR ((triple4 ((triple6 triple8) -> rule2)) -> rule8))] The lion is rough.[(((triple7) -> rule6))] The squirrel chases the bald eagle.[(((triple10) -> rule5))] @2: The bear is rough.[(((((triple4 triple9) -> rule8)) -> rule6) OR ((((triple4 ((triple6 triple8) -> rule2)) -> rule8)) -> rule6))] The squirrel is kind.[(((((triple10) -> rule5)) -> rule3))] @3: The squirrel eats the squirrel.[(((((((triple10) -> rule5)) -> rule3)) -> rule7))] @4: The squirrel is cold.[(((((((((triple10) -> rule5)) -> rule3)) -> rule7) triple9) -> rule8) OR ((((((((triple10) -> rule5)) -> rule3)) -> rule7) ((triple6 triple8) -> rule2)) -> rule8))] @5: The squirrel is rough.[(((((((((((triple10) -> rule5)) -> rule3)) -> rule7) triple9) -> rule8)) -> rule6) OR ((((((((((triple10) -> rule5)) -> rule3)) -> rule7) ((triple6 triple8) -> rule2)) -> rule8)) -> rule6))]
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
triple1
The bear chases the lion.
("bear" "chases" "lion" "+")
triple2
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
triple3
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
triple4
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
triple5
The lion chases the bear.
("lion" "chases" "bear" "+")
triple6
The lion is cold.
("lion" "is" "cold" "+")
triple7
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
triple8
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
triple9
((triple6 triple8) -> (rule2 % int1))
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int1
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
triple10
The bear is cold.
("bear" "is" "cold" "+")
((triple4 triple9) -> (rule8 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
((triple4 ((triple6 triple8) -> (rule2 % int2))) -> (rule8 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int2
The lion is rough.
("lion" "is" "rough" "+")
((triple7) -> (rule6 % int1))
The lion is rough.
("lion" "is" "rough" "+")
int1
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
((triple10) -> (rule5 % int1))
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int1
The bear is rough.
("bear" "is" "rough" "+")
((((triple4 triple9) -> (rule8 % int2))) -> (rule6 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2
((((triple4 ((triple6 triple8) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int3
The squirrel is kind.
("squirrel" "is" "kind" "+")
((((triple10) -> (rule5 % int2))) -> (rule3 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int2
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
((((((triple10) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
int2
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int3
The squirrel is cold.
("squirrel" "is" "cold" "+")
((((((((triple10) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule7 % int2)) triple9) -> (rule8 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int4
((((((((triple10) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule7 % int3)) ((triple6 triple8) -> (rule2 % int2))) -> (rule8 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int2
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int3
The squirrel is kind.
("squirrel" "is" "kind" "+")
int4
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int5
The squirrel is rough.
("squirrel" "is" "rough" "+")
((((((((((triple10) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule7 % int3)) triple9) -> (rule8 % int2))) -> (rule6 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel is cold.
("squirrel" "is" "cold" "+")
int2
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int3
The squirrel is kind.
("squirrel" "is" "kind" "+")
int4
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int5
((((((((((triple10) -> (rule5 % int6))) -> (rule3 % int5))) -> (rule7 % int4)) ((triple6 triple8) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel is cold.
("squirrel" "is" "cold" "+")
int2
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int3
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int4
The squirrel is kind.
("squirrel" "is" "kind" "+")
int5
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int6