The bald eagle is not blue. The bald eagle is not cold. The bald eagle sees the rabbit. The bear is kind. The bear sees the lion. The lion likes the rabbit. The lion sees the bear. The lion sees the rabbit. The rabbit is red. The rabbit likes the bear. The rabbit sees the bear. The rabbit sees the lion. If something eats the lion then it is not red. If something is blue then it is not red. If the rabbit eats the lion and the lion does not see the bald eagle then the rabbit is young. If something sees the bear then the bear likes the bald eagle. If something sees the bear then the bear is young. If something is blue and it does not like the bear then it sees the bear. Young things are blue. All young things are blue.
The bald eagle is not blue.
("bald eagle" "is" "blue" "-")
The bald eagle is not cold.
("bald eagle" "is" "cold" "-")
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear sees the lion.
("bear" "sees" "lion" "+")
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
The lion sees the bear.
("lion" "sees" "bear" "+")
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
If something eats the lion then it is not red.
((("something" "eats" "lion" "+")) -> ("something" "is" "red" "-"))
If something is blue then it is not red.
((("something" "is" "blue" "+")) -> ("something" "is" "red" "-"))
If the rabbit eats the lion and the lion does not see the bald eagle then the rabbit is young.
((("rabbit" "eats" "lion" "+") ("lion" "sees" "bald eagle" "~")) -> ("rabbit" "is" "young" "+"))
If something sees the bear then the bear likes the bald eagle.
((("something" "sees" "bear" "+")) -> ("bear" "likes" "bald eagle" "+"))
If something sees the bear then the bear is young.
((("something" "sees" "bear" "+")) -> ("bear" "is" "young" "+"))
If something is blue and it does not like the bear then it sees the bear.
((("something" "is" "blue" "+") ("something" "likes" "bear" "~")) -> ("something" "sees" "bear" "+"))
Young things are blue.
((("something" "is" "young" "+")) -> ("something" "is" "blue" "+"))
All young things are blue.
((("something" "is" "young" "+")) -> ("something" "is" "blue" "+"))
The bald eagle sees the rabbit.
True
1
proof
[(triple3)]
("bald eagle" "sees" "rabbit" "+")
triple3
The bear does not see the lion.
False
1
inv-proof
[(triple5)]
("bear" "sees" "lion" "-")
triple5
The bear likes the bald eagle.
True
2
proof
[(((triple11) -> rule4) OR ((triple7) -> rule4))]
("bear" "likes" "bald eagle" "+")
((triple11) -> (rule4 % int1))
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int1
((triple7) -> (rule4 % int1))
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int1
The bear does not like the bald eagle.
False
2
inv-proof
[(((triple11) -> rule4) OR ((triple7) -> rule4))]
("bear" "likes" "bald eagle" "-")
((triple11) -> (rule4 % int1))
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int1
((triple7) -> (rule4 % int1))
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int1
The bear is blue.
True
3
proof
[(((((triple11) -> rule5)) -> rule7) OR ((((triple11) -> rule5)) -> rule8) OR ((((triple7) -> rule5)) -> rule7) OR ((((triple7) -> rule5)) -> rule8))]
("bear" "is" "blue" "+")
((((triple11) -> (rule5 % int2))) -> (rule7 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear is young.
("bear" "is" "young" "+")
int2
((((triple11) -> (rule5 % int2))) -> (rule8 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear is young.
("bear" "is" "young" "+")
int2
((((triple7) -> (rule5 % int2))) -> (rule7 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear is young.
("bear" "is" "young" "+")
int2
((((triple7) -> (rule5 % int2))) -> (rule8 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear is young.
("bear" "is" "young" "+")
int2
The bear is not blue.
False
3
inv-proof
[(((((triple11) -> rule5)) -> rule7) OR ((((triple11) -> rule5)) -> rule8) OR ((((triple7) -> rule5)) -> rule7) OR ((((triple7) -> rule5)) -> rule8))]
("bear" "is" "blue" "-")
((((triple11) -> (rule5 % int2))) -> (rule7 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear is young.
("bear" "is" "young" "+")
int2
((((triple11) -> (rule5 % int2))) -> (rule8 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear is young.
("bear" "is" "young" "+")
int2
((((triple7) -> (rule5 % int2))) -> (rule7 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear is young.
("bear" "is" "young" "+")
int2
((((triple7) -> (rule5 % int2))) -> (rule8 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear is young.
("bear" "is" "young" "+")
int2
The bear is not red.
True
4
proof
[(((((((triple11) -> rule5)) -> rule7)) -> rule2) OR ((((((triple11) -> rule5)) -> rule8)) -> rule2) OR ((((((triple7) -> rule5)) -> rule7)) -> rule2) OR ((((((triple7) -> rule5)) -> rule8)) -> rule2))]
("bear" "is" "red" "-")
((((((triple11) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
The bear is not red.
("bear" "is" "red" "-")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The bear is young.
("bear" "is" "young" "+")
int3
((((((triple11) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
The bear is not red.
("bear" "is" "red" "-")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The bear is young.
("bear" "is" "young" "+")
int3
((((((triple7) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
The bear is not red.
("bear" "is" "red" "-")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The bear is young.
("bear" "is" "young" "+")
int3
((((((triple7) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
The bear is not red.
("bear" "is" "red" "-")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The bear is young.
("bear" "is" "young" "+")
int3
The bear is red.
False
4
inv-proof
[(((((((triple11) -> rule5)) -> rule7)) -> rule2) OR ((((((triple11) -> rule5)) -> rule8)) -> rule2) OR ((((((triple7) -> rule5)) -> rule7)) -> rule2) OR ((((((triple7) -> rule5)) -> rule8)) -> rule2))]
("bear" "is" "red" "+")
((((((triple11) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
The bear is not red.
("bear" "is" "red" "-")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The bear is young.
("bear" "is" "young" "+")
int3
((((((triple11) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
The bear is not red.
("bear" "is" "red" "-")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The bear is young.
("bear" "is" "young" "+")
int3
((((((triple7) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
The bear is not red.
("bear" "is" "red" "-")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The bear is young.
("bear" "is" "young" "+")
int3
((((((triple7) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
The bear is not red.
("bear" "is" "red" "-")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The bear is young.
("bear" "is" "young" "+")
int3
The rabbit is not young.
Unknown
inv-rconc
[@1: The rabbit is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("rabbit" "is" "young" "-")
The bear sees the bear.
Unknown
rconc
[@1: The bear sees the bear.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bear" "sees" "bear" "+")
The rabbit is not blue.
Unknown
inv-rconc
[@2: The rabbit is blue.[CWA. Example of deepest failure = (rule7 <- rule3 <- FAIL)]]
("rabbit" "is" "blue" "-")
The lion is blue.
Unknown
rconc
[@1: The lion is blue.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("lion" "is" "blue" "+")
The lion does not like the lion.
Unknown
inv-random
[@0: The lion likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "lion" "-")
The bald eagle likes the rabbit.
Unknown
random
[@0: The bald eagle likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "rabbit" "+")
The bald eagle does not like the bear.
Unknown
inv-random
[@0: The bald eagle likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "bear" "-")
The bear eats the bear.
Unknown
random
[@0: The bear eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "bear" "+")
@0: The bald eagle is not blue.[(triple1)] The bald eagle is not cold.[(triple2)] The bald eagle sees the rabbit.[(triple3)] The bear is kind.[(triple4)] The bear sees the lion.[(triple5)] The lion likes the rabbit.[(triple6)] The lion sees the bear.[(triple7)] The lion sees the rabbit.[(triple8)] The rabbit is red.[(triple9)] The rabbit likes the bear.[(triple10)] The rabbit sees the bear.[(triple11)] The rabbit sees the lion.[(triple12)] @1: The bear is young.[(((triple11) -> rule5) OR ((triple7) -> rule5))] The bear likes the bald eagle.[(((triple11) -> rule4) OR ((triple7) -> rule4))] @2: The bear is blue.[(((((triple11) -> rule5)) -> rule7) OR ((((triple11) -> rule5)) -> rule8) OR ((((triple7) -> rule5)) -> rule7) OR ((((triple7) -> rule5)) -> rule8))] @3: The bear is not red.[(((((((triple11) -> rule5)) -> rule7)) -> rule2) OR ((((((triple11) -> rule5)) -> rule8)) -> rule2) OR ((((((triple7) -> rule5)) -> rule7)) -> rule2) OR ((((((triple7) -> rule5)) -> rule8)) -> rule2))]
The bald eagle is not blue.
("bald eagle" "is" "blue" "-")
triple1
The bald eagle is not cold.
("bald eagle" "is" "cold" "-")
triple2
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
triple3
The bear is kind.
("bear" "is" "kind" "+")
triple4
The bear sees the lion.
("bear" "sees" "lion" "+")
triple5
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
triple6
The lion sees the bear.
("lion" "sees" "bear" "+")
triple7
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
triple8
The rabbit is red.
("rabbit" "is" "red" "+")
triple9
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
triple10
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
triple11
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
triple12
The bear is young.
("bear" "is" "young" "+")
((triple11) -> (rule5 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
((triple7) -> (rule5 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
((triple11) -> (rule4 % int1))
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int1
((triple7) -> (rule4 % int1))
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
((((triple11) -> (rule5 % int2))) -> (rule7 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear is young.
("bear" "is" "young" "+")
int2
((((triple11) -> (rule5 % int2))) -> (rule8 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear is young.
("bear" "is" "young" "+")
int2
((((triple7) -> (rule5 % int2))) -> (rule7 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear is young.
("bear" "is" "young" "+")
int2
((((triple7) -> (rule5 % int2))) -> (rule8 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear is young.
("bear" "is" "young" "+")
int2
The bear is not red.
("bear" "is" "red" "-")
((((((triple11) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
The bear is not red.
("bear" "is" "red" "-")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The bear is young.
("bear" "is" "young" "+")
int3
((((((triple11) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
The bear is not red.
("bear" "is" "red" "-")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The bear is young.
("bear" "is" "young" "+")
int3
((((((triple7) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
The bear is not red.
("bear" "is" "red" "-")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The bear is young.
("bear" "is" "young" "+")
int3
((((((triple7) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
The bear is not red.
("bear" "is" "red" "-")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The bear is young.
("bear" "is" "young" "+")
int3