The bald eagle is nice. The bear is blue. The tiger chases the bear. If someone visits the bear and they are green then they chase the tiger. If someone is blue and they chase the tiger then the tiger likes the bear. If someone likes the tiger and the tiger is nice then the tiger is cold. If someone is blue then they chase the tiger. If someone visits the bear then the bear is blue. If someone chases the bear then the bear chases the tiger.
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bear is blue.
("bear" "is" "blue" "+")
The tiger chases the bear.
("tiger" "chases" "bear" "+")
If someone visits the bear and they are green then they chase the tiger.
((("someone" "visits" "bear" "+") ("someone" "is" "green" "+")) -> ("someone" "chases" "tiger" "+"))
If someone is blue and they chase the tiger then the tiger likes the bear.
((("someone" "is" "blue" "+") ("someone" "chases" "tiger" "+")) -> ("tiger" "likes" "bear" "+"))
If someone likes the tiger and the tiger is nice then the tiger is cold.
((("someone" "likes" "tiger" "+") ("tiger" "is" "nice" "+")) -> ("tiger" "is" "cold" "+"))
If someone is blue then they chase the tiger.
((("someone" "is" "blue" "+")) -> ("someone" "chases" "tiger" "+"))
If someone visits the bear then the bear is blue.
((("someone" "visits" "bear" "+")) -> ("bear" "is" "blue" "+"))
If someone chases the bear then the bear chases the tiger.
((("someone" "chases" "bear" "+")) -> ("bear" "chases" "tiger" "+"))
The tiger chases the bear.
True
1
proof
[(triple3)]
("tiger" "chases" "bear" "+")
triple3
The bear is not blue.
False
1
inv-proof
[(triple2)]
("bear" "is" "blue" "-")
triple2
The bald eagle does not chase the tiger.
Unknown
inv-rconc
[@1: The bald eagle chases the tiger.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "chases" "tiger" "-")
The bear visits the bear.
Unknown
random
[@0: The bear visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "bear" "+")
@0: The bald eagle is nice.[(triple1)] The bear is blue.[(triple2)] The tiger chases the bear.[(triple3)] @1: The bear chases the tiger.[(((triple2) -> rule4) OR ((triple3) -> rule6))] @2: The tiger likes the bear.[(((triple2 ((triple2) -> rule4)) -> rule2) OR ((triple2 ((triple3) -> rule6)) -> rule2))]
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple1
The bear is blue.
("bear" "is" "blue" "+")
triple2
The tiger chases the bear.
("tiger" "chases" "bear" "+")
triple3
The bear chases the tiger.
("bear" "chases" "tiger" "+")
((triple2) -> (rule4 % int1))
The bear chases the tiger.
("bear" "chases" "tiger" "+")
int1
((triple3) -> (rule6 % int1))
The bear chases the tiger.
("bear" "chases" "tiger" "+")
int1
The tiger likes the bear.
("tiger" "likes" "bear" "+")
((triple2 ((triple2) -> (rule4 % int2))) -> (rule2 % int1))
The tiger likes the bear.
("tiger" "likes" "bear" "+")
int1
The bear chases the tiger.
("bear" "chases" "tiger" "+")
int2
((triple2 ((triple3) -> (rule6 % int2))) -> (rule2 % int1))
The tiger likes the bear.
("tiger" "likes" "bear" "+")
int1
The bear chases the tiger.
("bear" "chases" "tiger" "+")
int2