The bald eagle visits the bear. The bear eats the bald eagle. The bear eats the lion. The bear eats the rabbit. The lion is not cold. The lion is green. The lion is not nice. The lion is rough. The rabbit is green. The rabbit is nice. If something is rough and it needs the lion then it is cold. If something visits the rabbit and it does not eat the lion then the rabbit does not visit the lion. If the rabbit visits the lion then the rabbit is not cold. If something is rough and it visits the bald eagle then the bald eagle visits the lion. If something visits the lion then the lion visits the bear. If something is blue then it visits the lion. If something visits the bear then it is blue. If something visits the lion then the lion eats the bear. If the lion is green and the lion is not cold then the lion does not visit the bald eagle.
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
The bear eats the lion.
("bear" "eats" "lion" "+")
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
The lion is not cold.
("lion" "is" "cold" "-")
The lion is green.
("lion" "is" "green" "+")
The lion is not nice.
("lion" "is" "nice" "-")
The lion is rough.
("lion" "is" "rough" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
If something is rough and it needs the lion then it is cold.
((("something" "is" "rough" "+") ("something" "needs" "lion" "+")) -> ("something" "is" "cold" "+"))
If something visits the rabbit and it does not eat the lion then the rabbit does not visit the lion.
((("something" "visits" "rabbit" "+") ("something" "eats" "lion" "~")) -> ("rabbit" "visits" "lion" "-"))
If the rabbit visits the lion then the rabbit is not cold.
((("rabbit" "visits" "lion" "+")) -> ("rabbit" "is" "cold" "-"))
If something is rough and it visits the bald eagle then the bald eagle visits the lion.
((("something" "is" "rough" "+") ("something" "visits" "bald eagle" "+")) -> ("bald eagle" "visits" "lion" "+"))
If something visits the lion then the lion visits the bear.
((("something" "visits" "lion" "+")) -> ("lion" "visits" "bear" "+"))
If something is blue then it visits the lion.
((("something" "is" "blue" "+")) -> ("something" "visits" "lion" "+"))
If something visits the bear then it is blue.
((("something" "visits" "bear" "+")) -> ("something" "is" "blue" "+"))
If something visits the lion then the lion eats the bear.
((("something" "visits" "lion" "+")) -> ("lion" "eats" "bear" "+"))
If the lion is green and the lion is not cold then the lion does not visit the bald eagle.
((("lion" "is" "green" "+") ("lion" "is" "cold" "~")) -> ("lion" "visits" "bald eagle" "-"))
The lion is green.
True
1
proof
[(triple6)]
("lion" "is" "green" "+")
triple6
The rabbit is not nice.
False
1
inv-proof
[(triple10)]
("rabbit" "is" "nice" "-")
triple10
The bald eagle is blue.
True
2
proof
[(((triple1) -> rule7))]
("bald eagle" "is" "blue" "+")
((triple1) -> (rule7 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The lion visits the bald eagle.
False
3
inv-proof
[(((triple6 triple5) -> rule9))]
("lion" "visits" "bald eagle" "+")
((triple6 triple5) -> (rule9 % int1))
The lion does not visit the bald eagle.
("lion" "visits" "bald eagle" "-")
int1
The bald eagle visits the lion.
True
3
proof
[(((((triple1) -> rule7)) -> rule6))]
("bald eagle" "visits" "lion" "+")
((((triple1) -> (rule7 % int2))) -> (rule6 % int1))
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The bald eagle does not visit the lion.
False
3
inv-proof
[(((((triple1) -> rule7)) -> rule6))]
("bald eagle" "visits" "lion" "-")
((((triple1) -> (rule7 % int2))) -> (rule6 % int1))
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The lion visits the bear.
True
4
proof
[(((((((triple1) -> rule7)) -> rule6)) -> rule5))]
("lion" "visits" "bear" "+")
((((((triple1) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The lion visits the bear.
("lion" "visits" "bear" "+")
int1
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The lion does not eat the bear.
False
4
inv-proof
[(((((((triple1) -> rule7)) -> rule6)) -> rule8) OR ((((((((((((triple1) -> rule7)) -> rule6)) -> rule5)) -> rule7)) -> rule6)) -> rule8))]
("lion" "eats" "bear" "-")
((((((triple1) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
The lion eats the bear.
("lion" "eats" "bear" "+")
int1
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
((((((((((((triple1) -> (rule7 % int6))) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
The lion eats the bear.
("lion" "eats" "bear" "+")
int1
The lion visits the lion.
("lion" "visits" "lion" "+")
int2
The lion is blue.
("lion" "is" "blue" "+")
int3
The lion visits the bear.
("lion" "visits" "bear" "+")
int4
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
int5
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int6
The lion is blue.
True
5
proof
[(((((((((triple1) -> rule7)) -> rule6)) -> rule5)) -> rule7))]
("lion" "is" "blue" "+")
((((((((triple1) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
The lion is blue.
("lion" "is" "blue" "+")
int1
The lion visits the bear.
("lion" "visits" "bear" "+")
int2
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
int3
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int4
The lion is not blue.
False
5
inv-proof
[(((((((((triple1) -> rule7)) -> rule6)) -> rule5)) -> rule7))]
("lion" "is" "blue" "-")
((((((((triple1) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
The lion is blue.
("lion" "is" "blue" "+")
int1
The lion visits the bear.
("lion" "visits" "bear" "+")
int2
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
int3
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int4
The lion visits the lion.
True
6
proof
[(((((((((((triple1) -> rule7)) -> rule6)) -> rule5)) -> rule7)) -> rule6))]
("lion" "visits" "lion" "+")
((((((((((triple1) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
The lion visits the lion.
("lion" "visits" "lion" "+")
int1
The lion is blue.
("lion" "is" "blue" "+")
int2
The lion visits the bear.
("lion" "visits" "bear" "+")
int3
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
int4
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int5
The lion does not visit the lion.
False
6
inv-proof
[(((((((((((triple1) -> rule7)) -> rule6)) -> rule5)) -> rule7)) -> rule6))]
("lion" "visits" "lion" "-")
((((((((((triple1) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
The lion visits the lion.
("lion" "visits" "lion" "+")
int1
The lion is blue.
("lion" "is" "blue" "+")
int2
The lion visits the bear.
("lion" "visits" "bear" "+")
int3
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
int4
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int5
The bear does not visit the lion.
Unknown
inv-rconc
[@2: The bear visits the lion.[CWA. Example of deepest failure = (rule6 <- rule7 <- FAIL)]]
("bear" "visits" "lion" "-")
The rabbit visits the lion.
Unknown
rconc
[@2: The rabbit visits the lion.[CWA. Example of deepest failure = (rule6 <- rule7 <- FAIL)]]
("rabbit" "visits" "lion" "+")
The bear is not cold.
Unknown
inv-rconc
[@1: The bear is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "is" "cold" "-")
The rabbit is blue.
Unknown
rconc
[@1: The rabbit is blue.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("rabbit" "is" "blue" "+")
The bear is not blue.
Unknown
inv-rconc
[@1: The bear is blue.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("bear" "is" "blue" "-")
The bald eagle is cold.
Unknown
rconc
[@1: The bald eagle is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "is" "cold" "+")
The lion does not eat the rabbit.
Unknown
inv-random
[@0: The lion eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "rabbit" "-")
The bald eagle eats the bald eagle.
Unknown
random
[@0: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "bald eagle" "+")
The rabbit does not need the rabbit.
Unknown
inv-random
[@0: The rabbit needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "rabbit" "-")
The rabbit needs the lion.
Unknown
random
[@0: The rabbit needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "lion" "+")
The lion does not need the lion.
Unknown
inv-random
[@0: The lion needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "lion" "-")
The bald eagle is rough.
Unknown
random
[@0: The bald eagle is rough.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "rough" "+")
@0: The bald eagle visits the bear.[(triple1)] The bear eats the bald eagle.[(triple2)] The bear eats the lion.[(triple3)] The bear eats the rabbit.[(triple4)] The lion is green.[(triple6)] The lion is not cold.[(triple5)] The lion is not nice.[(triple7)] The lion is rough.[(triple8)] The rabbit is green.[(triple9)] The rabbit is nice.[(triple10)] @1: The bald eagle is blue.[(((triple1) -> rule7))] The lion does not visit the bald eagle.[(((triple6 triple5) -> rule9))] @2: The bald eagle visits the lion.[(((((triple1) -> rule7)) -> rule6))] @3: The lion eats the bear.[(((((((triple1) -> rule7)) -> rule6)) -> rule8) OR ((((((((((((triple1) -> rule7)) -> rule6)) -> rule5)) -> rule7)) -> rule6)) -> rule8))] The lion visits the bear.[(((((((triple1) -> rule7)) -> rule6)) -> rule5))] @4: The lion is blue.[(((((((((triple1) -> rule7)) -> rule6)) -> rule5)) -> rule7))] @5: The lion visits the lion.[(((((((((((triple1) -> rule7)) -> rule6)) -> rule5)) -> rule7)) -> rule6))]
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
triple1
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
triple2
The bear eats the lion.
("bear" "eats" "lion" "+")
triple3
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
triple4
The lion is green.
("lion" "is" "green" "+")
triple6
The lion is not cold.
("lion" "is" "cold" "-")
triple5
The lion is not nice.
("lion" "is" "nice" "-")
triple7
The lion is rough.
("lion" "is" "rough" "+")
triple8
The rabbit is green.
("rabbit" "is" "green" "+")
triple9
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple10
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
((triple1) -> (rule7 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The lion does not visit the bald eagle.
("lion" "visits" "bald eagle" "-")
((triple6 triple5) -> (rule9 % int1))
The lion does not visit the bald eagle.
("lion" "visits" "bald eagle" "-")
int1
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
((((triple1) -> (rule7 % int2))) -> (rule6 % int1))
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The lion eats the bear.
("lion" "eats" "bear" "+")
((((((triple1) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
The lion eats the bear.
("lion" "eats" "bear" "+")
int1
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
((((((((((((triple1) -> (rule7 % int6))) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
The lion eats the bear.
("lion" "eats" "bear" "+")
int1
The lion visits the lion.
("lion" "visits" "lion" "+")
int2
The lion is blue.
("lion" "is" "blue" "+")
int3
The lion visits the bear.
("lion" "visits" "bear" "+")
int4
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
int5
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int6
The lion visits the bear.
("lion" "visits" "bear" "+")
((((((triple1) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The lion visits the bear.
("lion" "visits" "bear" "+")
int1
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The lion is blue.
("lion" "is" "blue" "+")
((((((((triple1) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
The lion is blue.
("lion" "is" "blue" "+")
int1
The lion visits the bear.
("lion" "visits" "bear" "+")
int2
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
int3
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int4
The lion visits the lion.
("lion" "visits" "lion" "+")
((((((((((triple1) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
The lion visits the lion.
("lion" "visits" "lion" "+")
int1
The lion is blue.
("lion" "is" "blue" "+")
int2
The lion visits the bear.
("lion" "visits" "bear" "+")
int3
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
int4
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int5