The bald eagle is red. The bald eagle is round. The bald eagle likes the bear. The bald eagle sees the bear. The bald eagle sees the lion. The bear eats the lion. The bear is big. The bear is round. The lion eats the bear. The lion is big. The lion is cold. The lion is rough. The lion is round. The lion likes the bald eagle. The lion sees the bald eagle. The lion sees the bear. If something is cold then it eats the bear. If something is rough and it eats the lion then the lion sees the bald eagle. If something likes the bear and it sees the lion then the bear is big. If something is big and cold then it eats the lion. If something likes the lion and it eats the bald eagle then the bald eagle likes the lion. If something is big then it likes the lion. If something eats the lion then the lion eats the bear. If something sees the lion then the lion likes the bald eagle.
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
The bear eats the lion.
("bear" "eats" "lion" "+")
The bear is big.
("bear" "is" "big" "+")
The bear is round.
("bear" "is" "round" "+")
The lion eats the bear.
("lion" "eats" "bear" "+")
The lion is big.
("lion" "is" "big" "+")
The lion is cold.
("lion" "is" "cold" "+")
The lion is rough.
("lion" "is" "rough" "+")
The lion is round.
("lion" "is" "round" "+")
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
The lion sees the bear.
("lion" "sees" "bear" "+")
If something is cold then it eats the bear.
((("something" "is" "cold" "+")) -> ("something" "eats" "bear" "+"))
If something is rough and it eats the lion then the lion sees the bald eagle.
((("something" "is" "rough" "+") ("something" "eats" "lion" "+")) -> ("lion" "sees" "bald eagle" "+"))
If something likes the bear and it sees the lion then the bear is big.
((("something" "likes" "bear" "+") ("something" "sees" "lion" "+")) -> ("bear" "is" "big" "+"))
If something is big and cold then it eats the lion.
((("something" "is" "big" "+") ("something" "is" "cold" "+")) -> ("something" "eats" "lion" "+"))
If something likes the lion and it eats the bald eagle then the bald eagle likes the lion.
((("something" "likes" "lion" "+") ("something" "eats" "bald eagle" "+")) -> ("bald eagle" "likes" "lion" "+"))
If something is big then it likes the lion.
((("something" "is" "big" "+")) -> ("something" "likes" "lion" "+"))
If something eats the lion then the lion eats the bear.
((("something" "eats" "lion" "+")) -> ("lion" "eats" "bear" "+"))
If something sees the lion then the lion likes the bald eagle.
((("something" "sees" "lion" "+")) -> ("lion" "likes" "bald eagle" "+"))
The lion is round.
True
1
proof
[(triple13)]
("lion" "is" "round" "+")
triple13
The lion does not see the bald eagle.
False
1
inv-proof
[(triple15 OR ((triple12 ((triple10 triple11) -> rule4)) -> rule2))]
("lion" "sees" "bald eagle" "-")
triple15
((triple12 ((triple10 triple11) -> (rule4 % int2))) -> (rule2 % int1))
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
int1
The lion eats the lion.
("lion" "eats" "lion" "+")
int2
The lion likes the lion.
True
2
proof
[(((triple10) -> rule6))]
("lion" "likes" "lion" "+")
((triple10) -> (rule6 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
The bear does not like the lion.
False
2
inv-proof
[(((triple7) -> rule6) OR ((((triple3 triple5) -> rule3)) -> rule6))]
("bear" "likes" "lion" "-")
((triple7) -> (rule6 % int1))
The bear likes the lion.
("bear" "likes" "lion" "+")
int1
((((triple3 triple5) -> (rule3 % int2))) -> (rule6 % int1))
The bear likes the lion.
("bear" "likes" "lion" "+")
int1
The bear is big.
("bear" "is" "big" "+")
int2
The bald eagle does not like the lion.
Unknown
inv-rconc
[@1: The bald eagle likes the lion.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "likes" "lion" "-")
The bald eagle eats the lion.
Unknown
rconc
[@1: The bald eagle eats the lion.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "eats" "lion" "+")
The bear does not see the lion.
Unknown
inv-random
[@0: The bear sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "lion" "-")
The bald eagle is big.
Unknown
random
[@0: The bald eagle is big.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "big" "+")
@0: The bald eagle is red.[(triple1)] The bald eagle is round.[(triple2)] The bald eagle likes the bear.[(triple3)] The bald eagle sees the bear.[(triple4)] The bald eagle sees the lion.[(triple5)] The bear eats the lion.[(triple6)] The bear is big.[(triple7 OR ((triple3 triple5) -> rule3))] The bear is round.[(triple8)] The lion eats the bear.[(triple9 OR ((triple11) -> rule1) OR ((triple6) -> rule7) OR ((((triple10 triple11) -> rule4)) -> rule7))] The lion is big.[(triple10)] The lion is cold.[(triple11)] The lion is rough.[(triple12)] The lion is round.[(triple13)] The lion likes the bald eagle.[(triple14 OR ((triple5) -> rule8))] The lion sees the bald eagle.[(triple15 OR ((triple12 ((triple10 triple11) -> rule4)) -> rule2))] The lion sees the bear.[(triple16)] @1: The bear likes the lion.[(((triple7) -> rule6) OR ((((triple3 triple5) -> rule3)) -> rule6))] The lion eats the lion.[(((triple10 triple11) -> rule4))] The lion likes the lion.[(((triple10) -> rule6))]
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple1
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple2
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
triple3
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
triple4
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
triple5
The bear eats the lion.
("bear" "eats" "lion" "+")
triple6
The bear is big.
("bear" "is" "big" "+")
triple7
((triple3 triple5) -> (rule3 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
The bear is round.
("bear" "is" "round" "+")
triple8
The lion eats the bear.
("lion" "eats" "bear" "+")
triple9
((triple11) -> (rule1 % int1))
The lion eats the bear.
("lion" "eats" "bear" "+")
int1
((triple6) -> (rule7 % int1))
The lion eats the bear.
("lion" "eats" "bear" "+")
int1
((((triple10 triple11) -> (rule4 % int2))) -> (rule7 % int1))
The lion eats the bear.
("lion" "eats" "bear" "+")
int1
The lion eats the lion.
("lion" "eats" "lion" "+")
int2
The lion is big.
("lion" "is" "big" "+")
triple10
The lion is cold.
("lion" "is" "cold" "+")
triple11
The lion is rough.
("lion" "is" "rough" "+")
triple12
The lion is round.
("lion" "is" "round" "+")
triple13
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
triple14
((triple5) -> (rule8 % int1))
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
int1
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
triple15
((triple12 ((triple10 triple11) -> (rule4 % int2))) -> (rule2 % int1))
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
int1
The lion eats the lion.
("lion" "eats" "lion" "+")
int2
The lion sees the bear.
("lion" "sees" "bear" "+")
triple16
The bear likes the lion.
("bear" "likes" "lion" "+")
((triple7) -> (rule6 % int1))
The bear likes the lion.
("bear" "likes" "lion" "+")
int1
((((triple3 triple5) -> (rule3 % int2))) -> (rule6 % int1))
The bear likes the lion.
("bear" "likes" "lion" "+")
int1
The bear is big.
("bear" "is" "big" "+")
int2
The lion eats the lion.
("lion" "eats" "lion" "+")
((triple10 triple11) -> (rule4 % int1))
The lion eats the lion.
("lion" "eats" "lion" "+")
int1
The lion likes the lion.
("lion" "likes" "lion" "+")
((triple10) -> (rule6 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1