The bald eagle eats the lion. The bald eagle is green. The bald eagle is kind. The bald eagle is red. The bald eagle is young. The bald eagle likes the lion. The bald eagle visits the lion. The lion eats the bald eagle. The lion is green. The lion likes the bald eagle. If someone is young then they eat the lion. If someone likes the bald eagle then they like the lion. If someone is green then they are young.
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
The lion is green.
("lion" "is" "green" "+")
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
If someone is young then they eat the lion.
((("someone" "is" "young" "+")) -> ("someone" "eats" "lion" "+"))
If someone likes the bald eagle then they like the lion.
((("someone" "likes" "bald eagle" "+")) -> ("someone" "likes" "lion" "+"))
If someone is green then they are young.
((("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
The bald eagle eats the lion.
True
1
proof
[(triple1 OR ((triple5) -> rule1) OR ((((triple2) -> rule3)) -> rule1))]
("bald eagle" "eats" "lion" "+")
triple1
((triple5) -> (rule1 % int1))
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int1
((((triple2) -> (rule3 % int2))) -> (rule1 % int1))
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int1
The bald eagle is young.
("bald eagle" "is" "young" "+")
int2
The lion does not eat the bald eagle.
False
1
inv-proof
[(triple8)]
("lion" "eats" "bald eagle" "-")
triple8
The lion is young.
True
2
proof
[(((triple9) -> rule3))]
("lion" "is" "young" "+")
((triple9) -> (rule3 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is not young.
False
2
inv-proof
[(((triple9) -> rule3))]
("lion" "is" "young" "-")
((triple9) -> (rule3 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion eats the lion.
True
3
proof
[(((((triple9) -> rule3)) -> rule1))]
("lion" "eats" "lion" "+")
((((triple9) -> (rule3 % int2))) -> (rule1 % int1))
The lion eats the lion.
("lion" "eats" "lion" "+")
int1
The lion is young.
("lion" "is" "young" "+")
int2
The lion does not eat the lion.
False
3
inv-proof
[(((((triple9) -> rule3)) -> rule1))]
("lion" "eats" "lion" "-")
((((triple9) -> (rule3 % int2))) -> (rule1 % int1))
The lion eats the lion.
("lion" "eats" "lion" "+")
int1
The lion is young.
("lion" "is" "young" "+")
int2
The lion is not rough.
Unknown
inv-random
[@0: The lion is rough.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "rough" "-")
The bald eagle is rough.
Unknown
random
[@0: The bald eagle is rough.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "rough" "+")
The lion is not kind.
Unknown
inv-random
[@0: The lion is kind.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "kind" "-")
The lion visits the bald eagle.
Unknown
random
[@0: The lion visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "bald eagle" "+")
The lion is not red.
Unknown
inv-random
[@0: The lion is red.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "red" "-")
The bald eagle visits the bald eagle.
Unknown
random
[@0: The bald eagle visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "bald eagle" "+")
@0: The bald eagle eats the lion.[(triple1 OR ((triple5) -> rule1) OR ((((triple2) -> rule3)) -> rule1))] The bald eagle is green.[(triple2)] The bald eagle is kind.[(triple3)] The bald eagle is red.[(triple4)] The bald eagle is young.[(triple5 OR ((triple2) -> rule3))] The bald eagle likes the lion.[(triple6)] The bald eagle visits the lion.[(triple7)] The lion eats the bald eagle.[(triple8)] The lion is green.[(triple9)] The lion likes the bald eagle.[(triple10)] @1: The lion is young.[(((triple9) -> rule3))] The lion likes the lion.[(((triple10) -> rule2))] @2: The lion eats the lion.[(((((triple9) -> rule3)) -> rule1))]
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
triple1
((triple5) -> (rule1 % int1))
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int1
((((triple2) -> (rule3 % int2))) -> (rule1 % int1))
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int1
The bald eagle is young.
("bald eagle" "is" "young" "+")
int2
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple2
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple3
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple4
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple5
((triple2) -> (rule3 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
triple6
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
triple7
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
triple8
The lion is green.
("lion" "is" "green" "+")
triple9
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
triple10
The lion is young.
("lion" "is" "young" "+")
((triple9) -> (rule3 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion likes the lion.
("lion" "likes" "lion" "+")
((triple10) -> (rule2 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
The lion eats the lion.
("lion" "eats" "lion" "+")
((((triple9) -> (rule3 % int2))) -> (rule1 % int1))
The lion eats the lion.
("lion" "eats" "lion" "+")
int1
The lion is young.
("lion" "is" "young" "+")
int2