The bald eagle is green. The bald eagle sees the cow. The bald eagle sees the tiger. The bear likes the bald eagle. The bear likes the tiger. The bear sees the bald eagle. The cow is kind. The tiger is cold. The tiger is green. The tiger is round. If someone sees the tiger then the tiger is kind. If someone is round and they like the tiger then the tiger likes the bear. If someone likes the bear and the bear eats the cow then the bear likes the cow. If someone is cold and round then they like the bear. All green people are nice. If someone sees the tiger then the tiger likes the cow. If the tiger is green then the tiger is round. If someone likes the bald eagle then they like the tiger.
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
The bear likes the tiger.
("bear" "likes" "tiger" "+")
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
The cow is kind.
("cow" "is" "kind" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is round.
("tiger" "is" "round" "+")
If someone sees the tiger then the tiger is kind.
((("someone" "sees" "tiger" "+")) -> ("tiger" "is" "kind" "+"))
If someone is round and they like the tiger then the tiger likes the bear.
((("someone" "is" "round" "+") ("someone" "likes" "tiger" "+")) -> ("tiger" "likes" "bear" "+"))
If someone likes the bear and the bear eats the cow then the bear likes the cow.
((("someone" "likes" "bear" "+") ("bear" "eats" "cow" "+")) -> ("bear" "likes" "cow" "+"))
If someone is cold and round then they like the bear.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+")) -> ("someone" "likes" "bear" "+"))
All green people are nice.
((("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone sees the tiger then the tiger likes the cow.
((("someone" "sees" "tiger" "+")) -> ("tiger" "likes" "cow" "+"))
If the tiger is green then the tiger is round.
((("tiger" "is" "green" "+")) -> ("tiger" "is" "round" "+"))
If someone likes the bald eagle then they like the tiger.
((("someone" "likes" "bald eagle" "+")) -> ("someone" "likes" "tiger" "+"))
The bear sees the bald eagle.
True
1
proof
[(triple6)]
("bear" "sees" "bald eagle" "+")
triple6
The bear does not like the tiger.
False
1
inv-proof
[(triple5 OR ((triple4) -> rule8))]
("bear" "likes" "tiger" "-")
triple5
((triple4) -> (rule8 % int1))
The bear likes the tiger.
("bear" "likes" "tiger" "+")
int1
The tiger likes the bear.
True
3
proof
[(((triple8 triple10) -> rule4) OR ((triple8 ((triple9) -> rule7)) -> rule4))]
("tiger" "likes" "bear" "+")
((triple8 triple10) -> (rule4 % int1))
The tiger likes the bear.
("tiger" "likes" "bear" "+")
int1
((triple8 ((triple9) -> (rule7 % int2))) -> (rule4 % int1))
The tiger likes the bear.
("tiger" "likes" "bear" "+")
int1
The tiger is round.
("tiger" "is" "round" "+")
int2
The tiger does not like the bear.
False
3
inv-proof
[(((triple8 triple10) -> rule4) OR ((triple8 ((triple9) -> rule7)) -> rule4))]
("tiger" "likes" "bear" "-")
((triple8 triple10) -> (rule4 % int1))
The tiger likes the bear.
("tiger" "likes" "bear" "+")
int1
((triple8 ((triple9) -> (rule7 % int2))) -> (rule4 % int1))
The tiger likes the bear.
("tiger" "likes" "bear" "+")
int1
The tiger is round.
("tiger" "is" "round" "+")
int2
The cow is not nice.
Unknown
inv-rconc
[@1: The cow is nice.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cow" "is" "nice" "-")
The bear likes the bear.
Unknown
rconc
[@1: The bear likes the bear.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bear" "likes" "bear" "+")
The bear is not kind.
Unknown
inv-random
[@0: The bear is kind.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "kind" "-")
The cow sees the tiger.
Unknown
random
[@0: The cow sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "tiger" "+")
@0: The bald eagle is green.[(triple1)] The bald eagle sees the cow.[(triple2)] The bald eagle sees the tiger.[(triple3)] The bear likes the bald eagle.[(triple4)] The bear likes the tiger.[(triple5 OR ((triple4) -> rule8))] The bear sees the bald eagle.[(triple6)] The cow is kind.[(triple7)] The tiger is cold.[(triple8)] The tiger is green.[(triple9)] The tiger is round.[(triple10 OR ((triple9) -> rule7))] @1: The bald eagle is nice.[(((triple1) -> rule5))] The tiger is kind.[(((triple3) -> rule1))] The tiger is nice.[(((triple9) -> rule5))] The tiger likes the bear.[(((triple8 triple10) -> rule4) OR ((triple8 ((triple9) -> rule7)) -> rule4))] The tiger likes the cow.[(((triple3) -> rule6))]
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple1
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
triple2
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
triple3
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
triple4
The bear likes the tiger.
("bear" "likes" "tiger" "+")
triple5
((triple4) -> (rule8 % int1))
The bear likes the tiger.
("bear" "likes" "tiger" "+")
int1
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
triple6
The cow is kind.
("cow" "is" "kind" "+")
triple7
The tiger is cold.
("tiger" "is" "cold" "+")
triple8
The tiger is green.
("tiger" "is" "green" "+")
triple9
The tiger is round.
("tiger" "is" "round" "+")
triple10
((triple9) -> (rule7 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
((triple1) -> (rule5 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The tiger is kind.
("tiger" "is" "kind" "+")
((triple3) -> (rule1 % int1))
The tiger is kind.
("tiger" "is" "kind" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
((triple9) -> (rule5 % int1))
The tiger is nice.
("tiger" "is" "nice" "+")
int1
The tiger likes the bear.
("tiger" "likes" "bear" "+")
((triple8 triple10) -> (rule4 % int1))
The tiger likes the bear.
("tiger" "likes" "bear" "+")
int1
((triple8 ((triple9) -> (rule7 % int2))) -> (rule4 % int1))
The tiger likes the bear.
("tiger" "likes" "bear" "+")
int1
The tiger is round.
("tiger" "is" "round" "+")
int2
The tiger likes the cow.
("tiger" "likes" "cow" "+")
((triple3) -> (rule6 % int1))
The tiger likes the cow.
("tiger" "likes" "cow" "+")
int1