The bald eagle does not eat the tiger. The bald eagle is not big. The bald eagle is not rough. The bald eagle is not young. The bald eagle does not visit the bear. The bald eagle visits the tiger. The bear eats the bald eagle. The bear eats the tiger. The bear is young. The bear likes the bald eagle. The bear visits the tiger. The tiger eats the bald eagle. The tiger eats the bear. The tiger is kind. The tiger likes the bald eagle. The tiger visits the bald eagle. If the tiger is kind then the tiger is not young.
The bald eagle does not eat the tiger.
("bald eagle" "eats" "tiger" "-")
The bald eagle is not big.
("bald eagle" "is" "big" "-")
The bald eagle is not rough.
("bald eagle" "is" "rough" "-")
The bald eagle is not young.
("bald eagle" "is" "young" "-")
The bald eagle does not visit the bear.
("bald eagle" "visits" "bear" "-")
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
The bear eats the tiger.
("bear" "eats" "tiger" "+")
The bear is young.
("bear" "is" "young" "+")
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
The bear visits the tiger.
("bear" "visits" "tiger" "+")
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
The tiger eats the bear.
("tiger" "eats" "bear" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
If the tiger is kind then the tiger is not young.
((("tiger" "is" "kind" "+")) -> ("tiger" "is" "young" "-"))
The bald eagle is not big.
True
1
proof
[(triple2)]
("bald eagle" "is" "big" "-")
triple2
The tiger does not eat the bald eagle.
False
1
inv-proof
[(triple12)]
("tiger" "eats" "bald eagle" "-")
triple12
The tiger is not young.
True
2
proof
[(((triple14) -> rule1))]
("tiger" "is" "young" "-")
((triple14) -> (rule1 % int1))
The tiger is not young.
("tiger" "is" "young" "-")
int1
The tiger is young.
False
2
inv-proof
[(((triple14) -> rule1))]
("tiger" "is" "young" "+")
((triple14) -> (rule1 % int1))
The tiger is not young.
("tiger" "is" "young" "-")
int1
The bear is not cold.
Unknown
inv-random
[@0: The bear is cold.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "cold" "-")
The bald eagle is cold.
Unknown
random
[@0: The bald eagle is cold.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "cold" "+")
The bear does not eat the bear.
Unknown
inv-random
[@0: The bear eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "bear" "-")
The tiger likes the bear.
Unknown
random
[@0: The tiger likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "bear" "+")
@0: The bald eagle does not eat the tiger.[(triple1)] The bald eagle does not visit the bear.[(triple5)] The bald eagle is not big.[(triple2)] The bald eagle is not rough.[(triple3)] The bald eagle is not young.[(triple4)] The bald eagle visits the tiger.[(triple6)] The bear eats the bald eagle.[(triple7)] The bear eats the tiger.[(triple8)] The bear is young.[(triple9)] The bear likes the bald eagle.[(triple10)] The bear visits the tiger.[(triple11)] The tiger eats the bald eagle.[(triple12)] The tiger eats the bear.[(triple13)] The tiger is kind.[(triple14)] The tiger likes the bald eagle.[(triple15)] The tiger visits the bald eagle.[(triple16)] @1: The tiger is not young.[(((triple14) -> rule1))]
The bald eagle does not eat the tiger.
("bald eagle" "eats" "tiger" "-")
triple1
The bald eagle does not visit the bear.
("bald eagle" "visits" "bear" "-")
triple5
The bald eagle is not big.
("bald eagle" "is" "big" "-")
triple2
The bald eagle is not rough.
("bald eagle" "is" "rough" "-")
triple3
The bald eagle is not young.
("bald eagle" "is" "young" "-")
triple4
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
triple6
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
triple7
The bear eats the tiger.
("bear" "eats" "tiger" "+")
triple8
The bear is young.
("bear" "is" "young" "+")
triple9
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
triple10
The bear visits the tiger.
("bear" "visits" "tiger" "+")
triple11
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
triple12
The tiger eats the bear.
("tiger" "eats" "bear" "+")
triple13
The tiger is kind.
("tiger" "is" "kind" "+")
triple14
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
triple15
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
triple16
The tiger is not young.
("tiger" "is" "young" "-")
((triple14) -> (rule1 % int1))
The tiger is not young.
("tiger" "is" "young" "-")
int1