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