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