The bald eagle chases the tiger. The bald eagle eats the bear. The bear eats the bald eagle. The bear visits the bald eagle. The tiger is not round. The tiger is young. The tiger visits the bald eagle. If someone visits the tiger and they do not chase the bald eagle then they visit the bear. If someone eats the bear and the bear visits the tiger then they visit the tiger. If the bear chases the tiger and the bear is cold then the bear is not young. All young people are not nice. If someone is green and young then they do not eat the bear. All cold people are young. If someone visits the tiger and the tiger chases the bald eagle then the tiger is green. If someone is green and not young then they chase the bear.
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
The tiger is not round.
("tiger" "is" "round" "-")
The tiger is young.
("tiger" "is" "young" "+")
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
If someone visits the tiger and they do not chase the bald eagle then they visit the bear.
((("someone" "visits" "tiger" "+") ("someone" "chases" "bald eagle" "~")) -> ("someone" "visits" "bear" "+"))
If someone eats the bear and the bear visits the tiger then they visit the tiger.
((("someone" "eats" "bear" "+") ("bear" "visits" "tiger" "+")) -> ("someone" "visits" "tiger" "+"))
If the bear chases the tiger and the bear is cold then the bear is not young.
((("bear" "chases" "tiger" "+") ("bear" "is" "cold" "+")) -> ("bear" "is" "young" "-"))
All young people are not nice.
((("someone" "is" "young" "+")) -> ("someone" "is" "nice" "-"))
If someone is green and young then they do not eat the bear.
((("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "eats" "bear" "-"))
All cold people are young.
((("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone visits the tiger and the tiger chases the bald eagle then the tiger is green.
((("someone" "visits" "tiger" "+") ("tiger" "chases" "bald eagle" "+")) -> ("tiger" "is" "green" "+"))
If someone is green and not young then they chase the bear.
((("someone" "is" "green" "+") ("someone" "is" "young" "~")) -> ("someone" "chases" "bear" "+"))
The bald eagle chases the tiger.
True
1
proof
[(triple1)]
("bald eagle" "chases" "tiger" "+")
triple1
The tiger does not visit the bald eagle.
False
1
inv-proof
[(triple7)]
("tiger" "visits" "bald eagle" "-")
triple7
The tiger is not nice.
True
2
proof
[(((triple6) -> rule4))]
("tiger" "is" "nice" "-")
((triple6) -> (rule4 % int1))
The tiger is not nice.
("tiger" "is" "nice" "-")
int1
The tiger is nice.
False
2
inv-proof
[(((triple6) -> rule4))]
("tiger" "is" "nice" "+")
((triple6) -> (rule4 % int1))
The tiger is not nice.
("tiger" "is" "nice" "-")
int1
The bald eagle is not young.
Unknown
inv-rconc
[@1: The bald eagle is young.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "is" "young" "-")
The bald eagle chases the bear.
Unknown
rconc
[@1: The bald eagle chases the bear.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("bald eagle" "chases" "bear" "+")
The bear does not eat the tiger.
Unknown
inv-random
[@0: The bear eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "tiger" "-")
The tiger eats the tiger.
Unknown
random
[@0: The tiger eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "tiger" "+")
@0: The bald eagle chases the tiger.[(triple1)] The bald eagle eats the bear.[(triple2)] The bear eats the bald eagle.[(triple3)] The bear visits the bald eagle.[(triple4)] The tiger is not round.[(triple5)] The tiger is young.[(triple6)] The tiger visits the bald eagle.[(triple7)] @1: The tiger is not nice.[(((triple6) -> rule4))]
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
triple1
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
triple2
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
triple3
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
triple4
The tiger is not round.
("tiger" "is" "round" "-")
triple5
The tiger is young.
("tiger" "is" "young" "+")
triple6
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
triple7
The tiger is not nice.
("tiger" "is" "nice" "-")
((triple6) -> (rule4 % int1))
The tiger is not nice.
("tiger" "is" "nice" "-")
int1