The bald eagle is nice. The bear eats the lion. The cow needs the lion. The lion is big. All big people are round. If the bear needs the lion then the bear likes the bald eagle. If someone is blue then they like the lion. Cold people are blue. If someone needs the lion then they like the bald eagle. If someone eats the lion then they are big.
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bear eats the lion.
("bear" "eats" "lion" "+")
The cow needs the lion.
("cow" "needs" "lion" "+")
The lion is big.
("lion" "is" "big" "+")
All big people are round.
((("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If the bear needs the lion then the bear likes the bald eagle.
((("bear" "needs" "lion" "+")) -> ("bear" "likes" "bald eagle" "+"))
If someone is blue then they like the lion.
((("someone" "is" "blue" "+")) -> ("someone" "likes" "lion" "+"))
Cold people are blue.
((("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
If someone needs the lion then they like the bald eagle.
((("someone" "needs" "lion" "+")) -> ("someone" "likes" "bald eagle" "+"))
If someone eats the lion then they are big.
((("someone" "eats" "lion" "+")) -> ("someone" "is" "big" "+"))
The bald eagle is nice.
True
1
proof
[(triple1)]
("bald eagle" "is" "nice" "+")
triple1
The lion is not big.
False
1
inv-proof
[(triple4)]
("lion" "is" "big" "-")
triple4
The cow likes the bald eagle.
True
2
proof
[(((triple3) -> rule5))]
("cow" "likes" "bald eagle" "+")
((triple3) -> (rule5 % int1))
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
int1
The cow does not like the bald eagle.
False
2
inv-proof
[(((triple3) -> rule5))]
("cow" "likes" "bald eagle" "-")
((triple3) -> (rule5 % int1))
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
int1
The bear is round.
True
3
proof
[(((((triple2) -> rule6)) -> rule1))]
("bear" "is" "round" "+")
((((triple2) -> (rule6 % int2))) -> (rule1 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The bear is big.
("bear" "is" "big" "+")
int2
The bear is not round.
False
3
inv-proof
[(((((triple2) -> rule6)) -> rule1))]
("bear" "is" "round" "-")
((((triple2) -> (rule6 % int2))) -> (rule1 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The bear is big.
("bear" "is" "big" "+")
int2
The bald eagle is not blue.
Unknown
inv-rconc
[@1: The bald eagle is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "is" "blue" "-")
The cow is blue.
Unknown
rconc
[@1: The cow is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cow" "is" "blue" "+")
The cow is not round.
Unknown
inv-rconc
[@2: The cow is round.[CWA. Example of deepest failure = (rule1 <- rule6 <- FAIL)]]
("cow" "is" "round" "-")
The bald eagle needs the bald eagle.
Unknown
random
[@0: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "bald eagle" "+")
The bear does not need the bald eagle.
Unknown
inv-random
[@0: The bear needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "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" "+")
@0: The bald eagle is nice.[(triple1)] The bear eats the lion.[(triple2)] The cow needs the lion.[(triple3)] The lion is big.[(triple4)] @1: The bear is big.[(((triple2) -> rule6))] The cow likes the bald eagle.[(((triple3) -> rule5))] The lion is round.[(((triple4) -> rule1))] @2: The bear is round.[(((((triple2) -> rule6)) -> rule1))]
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple1
The bear eats the lion.
("bear" "eats" "lion" "+")
triple2
The cow needs the lion.
("cow" "needs" "lion" "+")
triple3
The lion is big.
("lion" "is" "big" "+")
triple4
The bear is big.
("bear" "is" "big" "+")
((triple2) -> (rule6 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
((triple3) -> (rule5 % int1))
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
int1
The lion is round.
("lion" "is" "round" "+")
((triple4) -> (rule1 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The bear is round.
("bear" "is" "round" "+")
((((triple2) -> (rule6 % int2))) -> (rule1 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The bear is big.
("bear" "is" "big" "+")
int2