The bald eagle does not need the tiger. The bald eagle visits the bear. The bear chases the tiger. The bear is blue. The bear does not need the tiger. The tiger is not big. The tiger is green. The tiger is not round. The tiger needs the bear. The tiger visits the bald eagle. If someone chases the bald eagle and the bald eagle does not need the tiger then they are green. If the bear does not chase the tiger then the tiger is big. If someone chases the tiger then they do not chase the bear.
The bald eagle does not need the tiger.
("bald eagle" "needs" "tiger" "-")
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
The bear chases the tiger.
("bear" "chases" "tiger" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear does not need the tiger.
("bear" "needs" "tiger" "-")
The tiger is not big.
("tiger" "is" "big" "-")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is not round.
("tiger" "is" "round" "-")
The tiger needs the bear.
("tiger" "needs" "bear" "+")
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
If someone chases the bald eagle and the bald eagle does not need the tiger then they are green.
((("someone" "chases" "bald eagle" "+") ("bald eagle" "needs" "tiger" "~")) -> ("someone" "is" "green" "+"))
If the bear does not chase the tiger then the tiger is big.
((("bear" "chases" "tiger" "~")) -> ("tiger" "is" "big" "+"))
If someone chases the tiger then they do not chase the bear.
((("someone" "chases" "tiger" "+")) -> ("someone" "chases" "bear" "-"))
The bald eagle visits the bear.
True
1
proof
[(triple2)]
("bald eagle" "visits" "bear" "+")
triple2
The tiger does not need the bear.
False
1
inv-proof
[(triple9)]
("tiger" "needs" "bear" "-")
triple9
The bald eagle is not green.
Unknown
inv-rconc
[@1: The bald eagle is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "is" "green" "-")
The bald eagle chases the bald eagle.
Unknown
random
[@0: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "bald eagle" "+")
@0: The bald eagle does not need the tiger.[(triple1)] The bald eagle visits the bear.[(triple2)] The bear chases the tiger.[(triple3)] The bear does not need the tiger.[(triple5)] The bear is blue.[(triple4)] The tiger is green.[(triple7)] The tiger is not big.[(triple6)] The tiger is not round.[(triple8)] The tiger needs the bear.[(triple9)] The tiger visits the bald eagle.[(triple10)] @1: The bear does not chase the bear.[(((triple3) -> rule3))]
The bald eagle does not need the tiger.
("bald eagle" "needs" "tiger" "-")
triple1
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
triple2
The bear chases the tiger.
("bear" "chases" "tiger" "+")
triple3
The bear does not need the tiger.
("bear" "needs" "tiger" "-")
triple5
The bear is blue.
("bear" "is" "blue" "+")
triple4
The tiger is green.
("tiger" "is" "green" "+")
triple7
The tiger is not big.
("tiger" "is" "big" "-")
triple6
The tiger is not round.
("tiger" "is" "round" "-")
triple8
The tiger needs the bear.
("tiger" "needs" "bear" "+")
triple9
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
triple10
The bear does not chase the bear.
("bear" "chases" "bear" "-")
((triple3) -> (rule3 % int1))
The bear does not chase the bear.
("bear" "chases" "bear" "-")
int1