The bald eagle chases the tiger. The bald eagle likes the bear. The bald eagle sees the bear. The bear sees the bald eagle. The lion chases the bald eagle. The lion chases the tiger. The lion is cold. The lion is not rough. The lion likes the bear. The lion does not see the bear. The lion sees the tiger. The tiger chases the bald eagle. The tiger does not chase the lion. The tiger sees the bald eagle. If someone is rough then they chase the bear. If the tiger sees the bald eagle then the bald eagle is rough. If someone is cold and they see the bald eagle then the bald eagle chases the lion. If someone chases the bald eagle and the bald eagle sees the tiger then they see the tiger. If someone is cold then they do not see the lion. If someone chases the bear then they chase the lion. If someone chases the bear then the bear is rough. If someone is green then they are cold.
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
The lion chases the tiger.
("lion" "chases" "tiger" "+")
The lion is cold.
("lion" "is" "cold" "+")
The lion is not rough.
("lion" "is" "rough" "-")
The lion likes the bear.
("lion" "likes" "bear" "+")
The lion does not see the bear.
("lion" "sees" "bear" "-")
The lion sees the tiger.
("lion" "sees" "tiger" "+")
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
The tiger does not chase the lion.
("tiger" "chases" "lion" "-")
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
If someone is rough then they chase the bear.
((("someone" "is" "rough" "+")) -> ("someone" "chases" "bear" "+"))
If the tiger sees the bald eagle then the bald eagle is rough.
((("tiger" "sees" "bald eagle" "+")) -> ("bald eagle" "is" "rough" "+"))
If someone is cold and they see the bald eagle then the bald eagle chases the lion.
((("someone" "is" "cold" "+") ("someone" "sees" "bald eagle" "+")) -> ("bald eagle" "chases" "lion" "+"))
If someone chases the bald eagle and the bald eagle sees the tiger then they see the tiger.
((("someone" "chases" "bald eagle" "+") ("bald eagle" "sees" "tiger" "+")) -> ("someone" "sees" "tiger" "+"))
If someone is cold then they do not see the lion.
((("someone" "is" "cold" "+")) -> ("someone" "sees" "lion" "-"))
If someone chases the bear then they chase the lion.
((("someone" "chases" "bear" "+")) -> ("someone" "chases" "lion" "+"))
If someone chases the bear then the bear is rough.
((("someone" "chases" "bear" "+")) -> ("bear" "is" "rough" "+"))
If someone is green then they are cold.
((("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
The tiger does not chase the lion.
True
1
proof
[(triple13)]
("tiger" "chases" "lion" "-")
triple13
The tiger does not chase the bald eagle.
False
1
inv-proof
[(triple12)]
("tiger" "chases" "bald eagle" "-")
triple12
The bald eagle is rough.
True
2
proof
[(((triple14) -> rule2))]
("bald eagle" "is" "rough" "+")
((triple14) -> (rule2 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The lion sees the lion.
False
2
inv-proof
[(((triple7) -> rule5))]
("lion" "sees" "lion" "+")
((triple7) -> (rule5 % int1))
The lion does not see the lion.
("lion" "sees" "lion" "-")
int1
The bald eagle chases the bear.
True
3
proof
[(((((triple14) -> rule2)) -> rule1))]
("bald eagle" "chases" "bear" "+")
((((triple14) -> (rule2 % int2))) -> (rule1 % int1))
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle does not chase the bear.
False
3
inv-proof
[(((((triple14) -> rule2)) -> rule1))]
("bald eagle" "chases" "bear" "-")
((((triple14) -> (rule2 % int2))) -> (rule1 % int1))
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bear is rough.
True
4
proof
[(((((((triple14) -> rule2)) -> rule1)) -> rule7))]
("bear" "is" "rough" "+")
((((((triple14) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
int2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int3
The bald eagle does not chase the lion.
False
4
inv-proof
[(((((((triple14) -> rule2)) -> rule1)) -> rule6))]
("bald eagle" "chases" "lion" "-")
((((((triple14) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
int1
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
int2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int3
The bear chases the bear.
True
5
proof
[(((((((((triple14) -> rule2)) -> rule1)) -> rule7)) -> rule1))]
("bear" "chases" "bear" "+")
((((((((triple14) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear is rough.
("bear" "is" "rough" "+")
int2
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
int3
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int4
The bear does not chase the bear.
False
5
inv-proof
[(((((((((triple14) -> rule2)) -> rule1)) -> rule7)) -> rule1))]
("bear" "chases" "bear" "-")
((((((((triple14) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear is rough.
("bear" "is" "rough" "+")
int2
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
int3
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int4
The bear chases the lion.
True
6
proof
[(((((((((((triple14) -> rule2)) -> rule1)) -> rule7)) -> rule1)) -> rule6))]
("bear" "chases" "lion" "+")
((((((((((triple14) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The bear chases the lion.
("bear" "chases" "lion" "+")
int1
The bear chases the bear.
("bear" "chases" "bear" "+")
int2
The bear is rough.
("bear" "is" "rough" "+")
int3
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
int4
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int5
The bear does not chase the lion.
False
6
inv-proof
[(((((((((((triple14) -> rule2)) -> rule1)) -> rule7)) -> rule1)) -> rule6))]
("bear" "chases" "lion" "-")
((((((((((triple14) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The bear chases the lion.
("bear" "chases" "lion" "+")
int1
The bear chases the bear.
("bear" "chases" "bear" "+")
int2
The bear is rough.
("bear" "is" "rough" "+")
int3
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
int4
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int5
The tiger does not see the tiger.
Unknown
inv-rconc
[@1: The tiger sees the tiger.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("tiger" "sees" "tiger" "-")
The lion chases the lion.
Unknown
rconc
[@2: The lion chases the lion.[CWA. Example of deepest failure = (rule6 <- rule1 <- FAIL)]]
("lion" "chases" "lion" "+")
The tiger does not chase the bear.
Unknown
inv-rconc
[@1: The tiger chases the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "chases" "bear" "-")
The bald eagle sees the tiger.
Unknown
rconc
[@1: The bald eagle sees the tiger.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "sees" "tiger" "+")
The bald eagle is not cold.
Unknown
inv-rconc
[@1: The bald eagle is cold.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("bald eagle" "is" "cold" "-")
The tiger is cold.
Unknown
rconc
[@1: The tiger is cold.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("tiger" "is" "cold" "+")
The bald eagle does not chase the bald eagle.
Unknown
inv-random
[@0: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "bald eagle" "-")
The lion is kind.
Unknown
random
[@0: The lion is kind.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "kind" "+")
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 lion likes the lion.
Unknown
random
[@0: The lion likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "lion" "+")
The lion does not see the bald eagle.
Unknown
inv-random
[@0: The lion sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("lion" "sees" "bald eagle" "-")
The tiger sees the bear.
Unknown
random
[@0: The tiger sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "sees" "bear" "+")
@0: The bald eagle chases the tiger.[(triple1)] The bald eagle likes the bear.[(triple2)] The bald eagle sees the bear.[(triple3)] The bear sees the bald eagle.[(triple4)] The lion chases the bald eagle.[(triple5)] The lion chases the tiger.[(triple6)] The lion does not see the bear.[(triple10)] The lion is cold.[(triple7)] The lion is not rough.[(triple8)] The lion likes the bear.[(triple9)] The lion sees the tiger.[(triple11)] The tiger chases the bald eagle.[(triple12)] The tiger does not chase the lion.[(triple13)] The tiger sees the bald eagle.[(triple14)] @1: The bald eagle is rough.[(((triple14) -> rule2))] The lion does not see the lion.[(((triple7) -> rule5))] @2: The bald eagle chases the bear.[(((((triple14) -> rule2)) -> rule1))] @3: The bald eagle chases the lion.[(((((((triple14) -> rule2)) -> rule1)) -> rule6))] The bear is rough.[(((((((triple14) -> rule2)) -> rule1)) -> rule7))] @4: The bear chases the bear.[(((((((((triple14) -> rule2)) -> rule1)) -> rule7)) -> rule1))] @5: The bear chases the lion.[(((((((((((triple14) -> rule2)) -> rule1)) -> rule7)) -> rule1)) -> rule6))]
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
triple1
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
triple2
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
triple3
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
triple4
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
triple5
The lion chases the tiger.
("lion" "chases" "tiger" "+")
triple6
The lion does not see the bear.
("lion" "sees" "bear" "-")
triple10
The lion is cold.
("lion" "is" "cold" "+")
triple7
The lion is not rough.
("lion" "is" "rough" "-")
triple8
The lion likes the bear.
("lion" "likes" "bear" "+")
triple9
The lion sees the tiger.
("lion" "sees" "tiger" "+")
triple11
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
triple12
The tiger does not chase the lion.
("tiger" "chases" "lion" "-")
triple13
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
triple14
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
((triple14) -> (rule2 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The lion does not see the lion.
("lion" "sees" "lion" "-")
((triple7) -> (rule5 % int1))
The lion does not see the lion.
("lion" "sees" "lion" "-")
int1
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
((((triple14) -> (rule2 % int2))) -> (rule1 % int1))
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
((((((triple14) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
int1
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
int2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int3
The bear is rough.
("bear" "is" "rough" "+")
((((((triple14) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
int2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int3
The bear chases the bear.
("bear" "chases" "bear" "+")
((((((((triple14) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear is rough.
("bear" "is" "rough" "+")
int2
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
int3
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int4
The bear chases the lion.
("bear" "chases" "lion" "+")
((((((((((triple14) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The bear chases the lion.
("bear" "chases" "lion" "+")
int1
The bear chases the bear.
("bear" "chases" "bear" "+")
int2
The bear is rough.
("bear" "is" "rough" "+")
int3
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
int4
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int5