The bald eagle is round. The bald eagle likes the lion. The bald eagle does not see the lion. The bald eagle does not visit the mouse. The lion is cold. The lion is nice. The lion likes the tiger. The lion sees the mouse. The lion sees the tiger. The lion visits the bald eagle. The mouse likes the bald eagle. The mouse does not like the tiger. The mouse sees the lion. The tiger likes the mouse. The tiger does not visit the bald eagle. The tiger visits the lion. If someone likes the lion and they are nice then they are big. If someone is cold and they like the tiger then they are round. If the tiger likes the bald eagle and the bald eagle visits the mouse then the mouse does not visit the bald eagle. If someone sees the tiger and the tiger sees the mouse then the tiger does not like the mouse. If someone sees the mouse then the mouse sees the lion. If someone is round and they like the tiger then the tiger sees the lion. If someone sees the lion and they like the lion then the lion does not see the tiger. If someone visits the mouse then the mouse sees the tiger.
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
The bald eagle does not see the lion.
("bald eagle" "sees" "lion" "-")
The bald eagle does not visit the mouse.
("bald eagle" "visits" "mouse" "-")
The lion is cold.
("lion" "is" "cold" "+")
The lion is nice.
("lion" "is" "nice" "+")
The lion likes the tiger.
("lion" "likes" "tiger" "+")
The lion sees the mouse.
("lion" "sees" "mouse" "+")
The lion sees the tiger.
("lion" "sees" "tiger" "+")
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
The mouse does not like the tiger.
("mouse" "likes" "tiger" "-")
The mouse sees the lion.
("mouse" "sees" "lion" "+")
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
The tiger does not visit the bald eagle.
("tiger" "visits" "bald eagle" "-")
The tiger visits the lion.
("tiger" "visits" "lion" "+")
If someone likes the lion and they are nice then they are big.
((("someone" "likes" "lion" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is cold and they like the tiger then they are round.
((("someone" "is" "cold" "+") ("someone" "likes" "tiger" "+")) -> ("someone" "is" "round" "+"))
If the tiger likes the bald eagle and the bald eagle visits the mouse then the mouse does not visit the bald eagle.
((("tiger" "likes" "bald eagle" "+") ("bald eagle" "visits" "mouse" "+")) -> ("mouse" "visits" "bald eagle" "-"))
If someone sees the tiger and the tiger sees the mouse then the tiger does not like the mouse.
((("someone" "sees" "tiger" "+") ("tiger" "sees" "mouse" "+")) -> ("tiger" "likes" "mouse" "-"))
If someone sees the mouse then the mouse sees the lion.
((("someone" "sees" "mouse" "+")) -> ("mouse" "sees" "lion" "+"))
If someone is round and they like the tiger then the tiger sees the lion.
((("someone" "is" "round" "+") ("someone" "likes" "tiger" "+")) -> ("tiger" "sees" "lion" "+"))
If someone sees the lion and they like the lion then the lion does not see the tiger.
((("someone" "sees" "lion" "+") ("someone" "likes" "lion" "+")) -> ("lion" "sees" "tiger" "-"))
If someone visits the mouse then the mouse sees the tiger.
((("someone" "visits" "mouse" "+")) -> ("mouse" "sees" "tiger" "+"))
The mouse likes the bald eagle.
True
1
proof
[(triple11)]
("mouse" "likes" "bald eagle" "+")
triple11
The mouse does not like the bald eagle.
False
1
inv-proof
[(triple11)]
("mouse" "likes" "bald eagle" "-")
triple11
The lion is round.
True
3
proof
[(((triple5 triple7) -> rule2))]
("lion" "is" "round" "+")
((triple5 triple7) -> (rule2 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The lion is not round.
False
3
inv-proof
[(((triple5 triple7) -> rule2))]
("lion" "is" "round" "-")
((triple5 triple7) -> (rule2 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The tiger sees the lion.
True
5
proof
[(((((triple5 triple7) -> rule2) triple7) -> rule6))]
("tiger" "sees" "lion" "+")
((((triple5 triple7) -> (rule2 % int2)) triple7) -> (rule6 % int1))
The tiger sees the lion.
("tiger" "sees" "lion" "+")
int1
The lion is round.
("lion" "is" "round" "+")
int2
The tiger does not see the lion.
False
5
inv-proof
[(((((triple5 triple7) -> rule2) triple7) -> rule6))]
("tiger" "sees" "lion" "-")
((((triple5 triple7) -> (rule2 % int2)) triple7) -> (rule6 % int1))
The tiger sees the lion.
("tiger" "sees" "lion" "+")
int1
The lion is round.
("lion" "is" "round" "+")
int2
The lion is not big.
Unknown
inv-rconc
[@1: The lion is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "is" "big" "-")
The tiger is big.
Unknown
rconc
[@1: The tiger is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "is" "big" "+")
The mouse is not big.
Unknown
inv-rconc
[@1: The mouse is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "is" "big" "-")
The bald eagle sees the mouse.
Unknown
random
[@0: The bald eagle sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "mouse" "+")
The bald eagle is not nice.
Unknown
inv-random
[@0: The bald eagle is nice.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "nice" "-")
The bald eagle likes the mouse.
Unknown
random
[@0: The bald eagle likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "mouse" "+")
@0: The bald eagle does not see the lion.[(triple3)] The bald eagle does not visit the mouse.[(triple4)] The bald eagle is round.[(triple1)] The bald eagle likes the lion.[(triple2)] The lion is cold.[(triple5)] The lion is nice.[(triple6)] The lion likes the tiger.[(triple7)] The lion sees the mouse.[(triple8)] The lion sees the tiger.[(triple9)] The lion visits the bald eagle.[(triple10)] The mouse does not like the tiger.[(triple12)] The mouse likes the bald eagle.[(triple11)] The mouse sees the lion.[(triple13 OR ((triple8) -> rule5))] The tiger does not visit the bald eagle.[(triple15)] The tiger likes the mouse.[(triple14)] The tiger visits the lion.[(triple16)] @1: The lion is round.[(((triple5 triple7) -> rule2))] @2: The tiger sees the lion.[(((((triple5 triple7) -> rule2) triple7) -> rule6))]
The bald eagle does not see the lion.
("bald eagle" "sees" "lion" "-")
triple3
The bald eagle does not visit the mouse.
("bald eagle" "visits" "mouse" "-")
triple4
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple1
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
triple2
The lion is cold.
("lion" "is" "cold" "+")
triple5
The lion is nice.
("lion" "is" "nice" "+")
triple6
The lion likes the tiger.
("lion" "likes" "tiger" "+")
triple7
The lion sees the mouse.
("lion" "sees" "mouse" "+")
triple8
The lion sees the tiger.
("lion" "sees" "tiger" "+")
triple9
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
triple10
The mouse does not like the tiger.
("mouse" "likes" "tiger" "-")
triple12
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
triple11
The mouse sees the lion.
("mouse" "sees" "lion" "+")
triple13
((triple8) -> (rule5 % int1))
The mouse sees the lion.
("mouse" "sees" "lion" "+")
int1
The tiger does not visit the bald eagle.
("tiger" "visits" "bald eagle" "-")
triple15
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
triple14
The tiger visits the lion.
("tiger" "visits" "lion" "+")
triple16
The lion is round.
("lion" "is" "round" "+")
((triple5 triple7) -> (rule2 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The tiger sees the lion.
("tiger" "sees" "lion" "+")
((((triple5 triple7) -> (rule2 % int2)) triple7) -> (rule6 % int1))
The tiger sees the lion.
("tiger" "sees" "lion" "+")
int1
The lion is round.
("lion" "is" "round" "+")
int2