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