The bald eagle eats the lion. The bald eagle eats the mouse. The bald eagle is cold. The bald eagle needs the rabbit. The bald eagle visits the lion. The lion eats the rabbit. The lion visits the bald eagle. The lion visits the mouse. The lion does not visit the rabbit. The mouse eats the lion. The mouse is red. The rabbit is big. The rabbit is cold. The rabbit is round. The rabbit does not visit the lion. The rabbit visits the mouse. If something visits the rabbit and the rabbit is big then the rabbit does not eat the lion. If something needs the rabbit then the rabbit visits the bald eagle. If something visits the lion and the lion is kind then it is red. If something is red then it is round. If something eats the mouse and the mouse eats the lion then the lion is red. If something is round then it eats the bald eagle.
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
The lion visits the mouse.
("lion" "visits" "mouse" "+")
The lion does not visit the rabbit.
("lion" "visits" "rabbit" "-")
The mouse eats the lion.
("mouse" "eats" "lion" "+")
The mouse is red.
("mouse" "is" "red" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit does not visit the lion.
("rabbit" "visits" "lion" "-")
The rabbit visits the mouse.
("rabbit" "visits" "mouse" "+")
If something visits the rabbit and the rabbit is big then the rabbit does not eat the lion.
((("something" "visits" "rabbit" "+") ("rabbit" "is" "big" "+")) -> ("rabbit" "eats" "lion" "-"))
If something needs the rabbit then the rabbit visits the bald eagle.
((("something" "needs" "rabbit" "+")) -> ("rabbit" "visits" "bald eagle" "+"))
If something visits the lion and the lion is kind then it is red.
((("something" "visits" "lion" "+") ("lion" "is" "kind" "+")) -> ("something" "is" "red" "+"))
If something is red then it is round.
((("something" "is" "red" "+")) -> ("something" "is" "round" "+"))
If something eats the mouse and the mouse eats the lion then the lion is red.
((("something" "eats" "mouse" "+") ("mouse" "eats" "lion" "+")) -> ("lion" "is" "red" "+"))
If something is round then it eats the bald eagle.
((("something" "is" "round" "+")) -> ("something" "eats" "bald eagle" "+"))
The mouse is red.
True
1
proof
[(triple11)]
("mouse" "is" "red" "+")
triple11
The bald eagle does not eat the lion.
False
1
inv-proof
[(triple1)]
("bald eagle" "eats" "lion" "-")
triple1
The rabbit visits the bald eagle.
True
2
proof
[(((triple4) -> rule2))]
("rabbit" "visits" "bald eagle" "+")
((triple4) -> (rule2 % int1))
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
int1
The rabbit does not visit the bald eagle.
False
2
inv-proof
[(((triple4) -> rule2))]
("rabbit" "visits" "bald eagle" "-")
((triple4) -> (rule2 % int1))
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
int1
The mouse eats the bald eagle.
True
3
proof
[(((((triple11) -> rule4)) -> rule6))]
("mouse" "eats" "bald eagle" "+")
((((triple11) -> (rule4 % int2))) -> (rule6 % int1))
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int1
The mouse is round.
("mouse" "is" "round" "+")
int2
The lion is not round.
False
4
inv-proof
[(((((triple2 triple10) -> rule5)) -> rule4))]
("lion" "is" "round" "-")
((((triple2 triple10) -> (rule5 % int2))) -> (rule4 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The lion is red.
("lion" "is" "red" "+")
int2
The lion eats the bald eagle.
True
5
proof
[(((((((triple2 triple10) -> rule5)) -> rule4)) -> rule6))]
("lion" "eats" "bald eagle" "+")
((((((triple2 triple10) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int1
The lion is round.
("lion" "is" "round" "+")
int2
The lion is red.
("lion" "is" "red" "+")
int3
The lion does not eat the bald eagle.
False
5
inv-proof
[(((((((triple2 triple10) -> rule5)) -> rule4)) -> rule6))]
("lion" "eats" "bald eagle" "-")
((((((triple2 triple10) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int1
The lion is round.
("lion" "is" "round" "+")
int2
The lion is red.
("lion" "is" "red" "+")
int3
The bald eagle does not eat the bald eagle.
Unknown
inv-rconc
[@3: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (rule6 <- rule4 <- rule3 <- FAIL)]]
("bald eagle" "eats" "bald eagle" "-")
The rabbit is red.
Unknown
rconc
[@1: The rabbit is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("rabbit" "is" "red" "+")
The bald eagle is not round.
Unknown
inv-rconc
[@2: The bald eagle is round.[CWA. Example of deepest failure = (rule4 <- rule3 <- FAIL)]]
("bald eagle" "is" "round" "-")
The bald eagle is red.
Unknown
rconc
[@1: The bald eagle is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "is" "red" "+")
The mouse does not visit the bald eagle.
Unknown
inv-random
[@0: The mouse visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "visits" "bald eagle" "-")
The bald eagle needs the lion.
Unknown
random
[@0: The bald eagle needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "lion" "+")
The rabbit is not kind.
Unknown
inv-random
[@0: The rabbit is kind.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "kind" "-")
The bald eagle visits the bald eagle.
Unknown
random
[@0: The bald eagle visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "bald eagle" "+")
@0: The bald eagle eats the lion.[(triple1)] The bald eagle eats the mouse.[(triple2)] The bald eagle is cold.[(triple3)] The bald eagle needs the rabbit.[(triple4)] The bald eagle visits the lion.[(triple5)] The lion does not visit the rabbit.[(triple9)] The lion eats the rabbit.[(triple6)] The lion visits the bald eagle.[(triple7)] The lion visits the mouse.[(triple8)] The mouse eats the lion.[(triple10)] The mouse is red.[(triple11)] The rabbit does not visit the lion.[(triple15)] The rabbit is big.[(triple12)] The rabbit is cold.[(triple13)] The rabbit is round.[(triple14)] The rabbit visits the mouse.[(triple16)] @1: The lion is red.[(((triple2 triple10) -> rule5))] The mouse is round.[(((triple11) -> rule4))] The rabbit eats the bald eagle.[(((triple14) -> rule6))] The rabbit visits the bald eagle.[(((triple4) -> rule2))] @2: The lion is round.[(((((triple2 triple10) -> rule5)) -> rule4))] The mouse eats the bald eagle.[(((((triple11) -> rule4)) -> rule6))] @3: The lion eats the bald eagle.[(((((((triple2 triple10) -> rule5)) -> rule4)) -> rule6))]
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
triple1
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
triple2
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple3
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
triple4
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
triple5
The lion does not visit the rabbit.
("lion" "visits" "rabbit" "-")
triple9
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
triple6
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
triple7
The lion visits the mouse.
("lion" "visits" "mouse" "+")
triple8
The mouse eats the lion.
("mouse" "eats" "lion" "+")
triple10
The mouse is red.
("mouse" "is" "red" "+")
triple11
The rabbit does not visit the lion.
("rabbit" "visits" "lion" "-")
triple15
The rabbit is big.
("rabbit" "is" "big" "+")
triple12
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple13
The rabbit is round.
("rabbit" "is" "round" "+")
triple14
The rabbit visits the mouse.
("rabbit" "visits" "mouse" "+")
triple16
The lion is red.
("lion" "is" "red" "+")
((triple2 triple10) -> (rule5 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
The mouse is round.
("mouse" "is" "round" "+")
((triple11) -> (rule4 % int1))
The mouse is round.
("mouse" "is" "round" "+")
int1
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
((triple14) -> (rule6 % int1))
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
int1
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
((triple4) -> (rule2 % int1))
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
int1
The lion is round.
("lion" "is" "round" "+")
((((triple2 triple10) -> (rule5 % int2))) -> (rule4 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The lion is red.
("lion" "is" "red" "+")
int2
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
((((triple11) -> (rule4 % int2))) -> (rule6 % int1))
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int1
The mouse is round.
("mouse" "is" "round" "+")
int2
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
((((((triple2 triple10) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int1
The lion is round.
("lion" "is" "round" "+")
int2
The lion is red.
("lion" "is" "red" "+")
int3