The bald eagle chases the tiger. The lion is cold. The tiger eats the bald eagle. If something is cold and green then it likes the lion. If something chases the tiger and the tiger eats the bald eagle then the bald eagle is cold. If something chases the lion then the lion is red. If something eats the tiger then the tiger eats the lion. If something is cold then it eats the bald eagle. If something eats the bald eagle then it chases the lion.
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
The lion is cold.
("lion" "is" "cold" "+")
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
If something is cold and green then it likes the lion.
((("something" "is" "cold" "+") ("something" "is" "green" "+")) -> ("something" "likes" "lion" "+"))
If something chases the tiger and the tiger eats the bald eagle then the bald eagle is cold.
((("something" "chases" "tiger" "+") ("tiger" "eats" "bald eagle" "+")) -> ("bald eagle" "is" "cold" "+"))
If something chases the lion then the lion is red.
((("something" "chases" "lion" "+")) -> ("lion" "is" "red" "+"))
If something eats the tiger then the tiger eats the lion.
((("something" "eats" "tiger" "+")) -> ("tiger" "eats" "lion" "+"))
If something is cold then it eats the bald eagle.
((("something" "is" "cold" "+")) -> ("something" "eats" "bald eagle" "+"))
If something eats the bald eagle then it chases the lion.
((("something" "eats" "bald eagle" "+")) -> ("something" "chases" "lion" "+"))
The tiger eats the bald eagle.
True
1
proof
[(triple3)]
("tiger" "eats" "bald eagle" "+")
triple3
The lion is not cold.
False
1
inv-proof
[(triple2)]
("lion" "is" "cold" "-")
triple2
The bald eagle is cold.
True
3
proof
[(((triple1 triple3) -> rule2))]
("bald eagle" "is" "cold" "+")
((triple1 triple3) -> (rule2 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
The lion does not eat the bald eagle.
False
2
inv-proof
[(((triple2) -> rule5))]
("lion" "eats" "bald eagle" "-")
((triple2) -> (rule5 % int1))
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int1
The lion is red.
True
3
proof
[(((((triple3) -> rule6)) -> rule3) OR ((((((triple2) -> rule5)) -> rule6)) -> rule3) OR ((((((((triple1 triple3) -> rule2)) -> rule5)) -> rule6)) -> rule3))]
("lion" "is" "red" "+")
((((triple3) -> (rule6 % int2))) -> (rule3 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
The tiger chases the lion.
("tiger" "chases" "lion" "+")
int2
((((((triple2) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
The lion chases the lion.
("lion" "chases" "lion" "+")
int2
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int3
((((((((triple1 triple3) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
int2
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int3
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int4
The lion is not red.
False
3
inv-proof
[(((((triple3) -> rule6)) -> rule3) OR ((((((triple2) -> rule5)) -> rule6)) -> rule3) OR ((((((((triple1 triple3) -> rule2)) -> rule5)) -> rule6)) -> rule3))]
("lion" "is" "red" "-")
((((triple3) -> (rule6 % int2))) -> (rule3 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
The tiger chases the lion.
("tiger" "chases" "lion" "+")
int2
((((((triple2) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
The lion chases the lion.
("lion" "chases" "lion" "+")
int2
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int3
((((((((triple1 triple3) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
int2
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int3
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int4
The bald eagle chases the lion.
True
5
proof
[(((((((triple1 triple3) -> rule2)) -> rule5)) -> rule6))]
("bald eagle" "chases" "lion" "+")
((((((triple1 triple3) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
int1
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int2
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int3
The bald eagle does not chase the lion.
False
5
inv-proof
[(((((((triple1 triple3) -> rule2)) -> rule5)) -> rule6))]
("bald eagle" "chases" "lion" "-")
((((((triple1 triple3) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
int1
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int2
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int3
The tiger does not like the lion.
Unknown
inv-rconc
[@1: The tiger likes the lion.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "likes" "lion" "-")
The tiger eats the lion.
Unknown
rconc
[@1: The tiger eats the lion.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("tiger" "eats" "lion" "+")
The bald eagle does not like the lion.
Unknown
inv-rconc
[@1: The bald eagle likes the lion.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "likes" "lion" "-")
The lion likes the lion.
Unknown
rconc
[@1: The lion likes the lion.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "likes" "lion" "+")
The lion does not eat the lion.
Unknown
inv-random
[@0: The lion eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "lion" "-")
The tiger likes the tiger.
Unknown
random
[@0: The tiger likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "tiger" "+")
The lion is not rough.
Unknown
inv-random
[@0: The lion is rough.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "rough" "-")
The tiger is rough.
Unknown
random
[@0: The tiger is rough.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "rough" "+")
@0: The bald eagle chases the tiger.[(triple1)] The lion is cold.[(triple2)] The tiger eats the bald eagle.[(triple3)] @1: The bald eagle is cold.[(((triple1 triple3) -> rule2))] The lion eats the bald eagle.[(((triple2) -> rule5))] The tiger chases the lion.[(((triple3) -> rule6))] @2: The bald eagle eats the bald eagle.[(((((triple1 triple3) -> rule2)) -> rule5))] The lion chases the lion.[(((((triple2) -> rule5)) -> rule6))] The lion is red.[(((((triple3) -> rule6)) -> rule3) OR ((((((triple2) -> rule5)) -> rule6)) -> rule3) OR ((((((((triple1 triple3) -> rule2)) -> rule5)) -> rule6)) -> rule3))] @3: The bald eagle chases the lion.[(((((((triple1 triple3) -> rule2)) -> rule5)) -> rule6))]
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
triple1
The lion is cold.
("lion" "is" "cold" "+")
triple2
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
triple3
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
((triple1 triple3) -> (rule2 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
((triple2) -> (rule5 % int1))
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int1
The tiger chases the lion.
("tiger" "chases" "lion" "+")
((triple3) -> (rule6 % int1))
The tiger chases the lion.
("tiger" "chases" "lion" "+")
int1
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
((((triple1 triple3) -> (rule2 % int2))) -> (rule5 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int2
The lion chases the lion.
("lion" "chases" "lion" "+")
((((triple2) -> (rule5 % int2))) -> (rule6 % int1))
The lion chases the lion.
("lion" "chases" "lion" "+")
int1
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int2
The lion is red.
("lion" "is" "red" "+")
((((triple3) -> (rule6 % int2))) -> (rule3 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
The tiger chases the lion.
("tiger" "chases" "lion" "+")
int2
((((((triple2) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
The lion chases the lion.
("lion" "chases" "lion" "+")
int2
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int3
((((((((triple1 triple3) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
int2
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int3
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int4
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
((((((triple1 triple3) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
int1
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int2
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int3