The bald eagle does not chase the tiger. The bear does not chase the cow. The bear is not cold. The bear is young. The cow does not chase the bear. The tiger is cold. The tiger does not like the bear. The tiger likes the cow. The tiger visits the bald eagle. The tiger visits the cow. If something is red then it likes the bald eagle. If the cow is red then the cow is cold. If something likes the bald eagle then it likes the bear. If something likes the cow and the cow chases the bald eagle then it likes the bear. If the bear is red and the bear visits the tiger then the tiger likes the cow. If something is rough then it visits the bear. If something likes the bear then the bear likes the bald eagle. If something visits the bald eagle then the bald eagle is red. If something is young then it chases the bald eagle.
The bald eagle does not chase the tiger.
("bald eagle" "chases" "tiger" "-")
The bear does not chase the cow.
("bear" "chases" "cow" "-")
The bear is not cold.
("bear" "is" "cold" "-")
The bear is young.
("bear" "is" "young" "+")
The cow does not chase the bear.
("cow" "chases" "bear" "-")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger does not like the bear.
("tiger" "likes" "bear" "-")
The tiger likes the cow.
("tiger" "likes" "cow" "+")
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
The tiger visits the cow.
("tiger" "visits" "cow" "+")
If something is red then it likes the bald eagle.
((("something" "is" "red" "+")) -> ("something" "likes" "bald eagle" "+"))
If the cow is red then the cow is cold.
((("cow" "is" "red" "+")) -> ("cow" "is" "cold" "+"))
If something likes the bald eagle then it likes the bear.
((("something" "likes" "bald eagle" "+")) -> ("something" "likes" "bear" "+"))
If something likes the cow and the cow chases the bald eagle then it likes the bear.
((("something" "likes" "cow" "+") ("cow" "chases" "bald eagle" "+")) -> ("something" "likes" "bear" "+"))
If the bear is red and the bear visits the tiger then the tiger likes the cow.
((("bear" "is" "red" "+") ("bear" "visits" "tiger" "+")) -> ("tiger" "likes" "cow" "+"))
If something is rough then it visits the bear.
((("something" "is" "rough" "+")) -> ("something" "visits" "bear" "+"))
If something likes the bear then the bear likes the bald eagle.
((("something" "likes" "bear" "+")) -> ("bear" "likes" "bald eagle" "+"))
If something visits the bald eagle then the bald eagle is red.
((("something" "visits" "bald eagle" "+")) -> ("bald eagle" "is" "red" "+"))
If something is young then it chases the bald eagle.
((("something" "is" "young" "+")) -> ("something" "chases" "bald eagle" "+"))
The tiger does not like the bear.
True
1
proof
[(triple7)]
("tiger" "likes" "bear" "-")
triple7
The tiger is not cold.
False
1
inv-proof
[(triple6)]
("tiger" "is" "cold" "-")
triple6
The bear chases the bald eagle.
True
2
proof
[(((triple4) -> rule9))]
("bear" "chases" "bald eagle" "+")
((triple4) -> (rule9 % int1))
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
int1
The bald eagle is not red.
False
2
inv-proof
[(((triple9) -> rule8))]
("bald eagle" "is" "red" "-")
((triple9) -> (rule8 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The bald eagle likes the bald eagle.
True
3
proof
[(((((triple9) -> rule8)) -> rule1))]
("bald eagle" "likes" "bald eagle" "+")
((((triple9) -> (rule8 % int2))) -> (rule1 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
The bald eagle is red.
("bald eagle" "is" "red" "+")
int2
The bald eagle does not like the bald eagle.
False
3
inv-proof
[(((((triple9) -> rule8)) -> rule1))]
("bald eagle" "likes" "bald eagle" "-")
((((triple9) -> (rule8 % int2))) -> (rule1 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
The bald eagle is red.
("bald eagle" "is" "red" "+")
int2
The bald eagle likes the bear.
True
4
proof
[(((((((triple9) -> rule8)) -> rule1)) -> rule3))]
("bald eagle" "likes" "bear" "+")
((((((triple9) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
int1
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int2
The bald eagle is red.
("bald eagle" "is" "red" "+")
int3
The bald eagle does not like the bear.
False
4
inv-proof
[(((((((triple9) -> rule8)) -> rule1)) -> rule3))]
("bald eagle" "likes" "bear" "-")
((((((triple9) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
int1
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int2
The bald eagle is red.
("bald eagle" "is" "red" "+")
int3
The bear likes the bald eagle.
True
5
proof
[(((((((((triple9) -> rule8)) -> rule1)) -> rule3)) -> rule7))]
("bear" "likes" "bald eagle" "+")
((((((((triple9) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int1
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
int2
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int3
The bald eagle is red.
("bald eagle" "is" "red" "+")
int4
The bear does not like the bald eagle.
False
5
inv-proof
[(((((((((triple9) -> rule8)) -> rule1)) -> rule3)) -> rule7))]
("bear" "likes" "bald eagle" "-")
((((((((triple9) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int1
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
int2
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int3
The bald eagle is red.
("bald eagle" "is" "red" "+")
int4
The bear likes the bear.
True
6
proof
[(((((((((((triple9) -> rule8)) -> rule1)) -> rule3)) -> rule7)) -> rule3))]
("bear" "likes" "bear" "+")
((((((((((triple9) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int2
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
int3
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int4
The bald eagle is red.
("bald eagle" "is" "red" "+")
int5
The bear does not like the bear.
False
6
inv-proof
[(((((((((((triple9) -> rule8)) -> rule1)) -> rule3)) -> rule7)) -> rule3))]
("bear" "likes" "bear" "-")
((((((((((triple9) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int2
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
int3
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int4
The bald eagle is red.
("bald eagle" "is" "red" "+")
int5
The cow does not visit the bear.
Unknown
inv-rconc
[@1: The cow visits the bear.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("cow" "visits" "bear" "-")
The cow likes the bear.
Unknown
rconc
[@2: The cow likes the bear.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("cow" "likes" "bear" "+")
The tiger does not chase the bald eagle.
Unknown
inv-rconc
[@1: The tiger chases the bald eagle.[CWA. Example of deepest failure = (rule9 <- FAIL)]]
("tiger" "chases" "bald eagle" "-")
The cow chases the bald eagle.
Unknown
rconc
[@1: The cow chases the bald eagle.[CWA. Example of deepest failure = (rule9 <- FAIL)]]
("cow" "chases" "bald eagle" "+")
The cow is not cold.
Unknown
inv-rconc
[@1: The cow is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "is" "cold" "-")
The tiger visits the bear.
Unknown
rconc
[@1: The tiger visits the bear.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("tiger" "visits" "bear" "+")
The bear is not green.
Unknown
inv-random
[@0: The bear is green.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "green" "-")
The cow chases the cow.
Unknown
random
[@0: The cow chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "cow" "+")
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 green.
Unknown
random
[@0: The bald eagle is green.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "green" "+")
The bear does not like the tiger.
Unknown
inv-random
[@0: The bear likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "tiger" "-")
The bear chases the bear.
Unknown
random
[@0: The bear chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bear" "+")
@0: The bald eagle does not chase the tiger.[(triple1)] The bear does not chase the cow.[(triple2)] The bear is not cold.[(triple3)] The bear is young.[(triple4)] The cow does not chase the bear.[(triple5)] The tiger does not like the bear.[(triple7)] The tiger is cold.[(triple6)] The tiger likes the cow.[(triple8)] The tiger visits the bald eagle.[(triple9)] The tiger visits the cow.[(triple10)] @1: The bald eagle is red.[(((triple9) -> rule8))] The bear chases the bald eagle.[(((triple4) -> rule9))] @2: The bald eagle likes the bald eagle.[(((((triple9) -> rule8)) -> rule1))] @3: The bald eagle likes the bear.[(((((((triple9) -> rule8)) -> rule1)) -> rule3))] @4: The bear likes the bald eagle.[(((((((((triple9) -> rule8)) -> rule1)) -> rule3)) -> rule7))] @5: The bear likes the bear.[(((((((((((triple9) -> rule8)) -> rule1)) -> rule3)) -> rule7)) -> rule3))]
The bald eagle does not chase the tiger.
("bald eagle" "chases" "tiger" "-")
triple1
The bear does not chase the cow.
("bear" "chases" "cow" "-")
triple2
The bear is not cold.
("bear" "is" "cold" "-")
triple3
The bear is young.
("bear" "is" "young" "+")
triple4
The cow does not chase the bear.
("cow" "chases" "bear" "-")
triple5
The tiger does not like the bear.
("tiger" "likes" "bear" "-")
triple7
The tiger is cold.
("tiger" "is" "cold" "+")
triple6
The tiger likes the cow.
("tiger" "likes" "cow" "+")
triple8
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
triple9
The tiger visits the cow.
("tiger" "visits" "cow" "+")
triple10
The bald eagle is red.
("bald eagle" "is" "red" "+")
((triple9) -> (rule8 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
((triple4) -> (rule9 % int1))
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
int1
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
((((triple9) -> (rule8 % int2))) -> (rule1 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
The bald eagle is red.
("bald eagle" "is" "red" "+")
int2
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
((((((triple9) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
int1
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int2
The bald eagle is red.
("bald eagle" "is" "red" "+")
int3
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
((((((((triple9) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int1
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
int2
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int3
The bald eagle is red.
("bald eagle" "is" "red" "+")
int4
The bear likes the bear.
("bear" "likes" "bear" "+")
((((((((((triple9) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int2
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
int3
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int4
The bald eagle is red.
("bald eagle" "is" "red" "+")
int5