The bald eagle sees the rabbit. The cow is nice. The lion eats the rabbit. The rabbit is kind. If someone eats the rabbit then the rabbit sees the bald eagle.
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
The cow is nice.
("cow" "is" "nice" "+")
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
If someone eats the rabbit then the rabbit sees the bald eagle.
((("someone" "eats" "rabbit" "+")) -> ("rabbit" "sees" "bald eagle" "+"))
The bald eagle sees the rabbit.
True
1
proof
[(triple1)]
("bald eagle" "sees" "rabbit" "+")
triple1
The rabbit is not kind.
False
1
inv-proof
[(triple4)]
("rabbit" "is" "kind" "-")
triple4
The rabbit sees the bald eagle.
True
2
proof
[(((triple3) -> rule1))]
("rabbit" "sees" "bald eagle" "+")
((triple3) -> (rule1 % int1))
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int1
The rabbit does not see the bald eagle.
False
2
inv-proof
[(((triple3) -> rule1))]
("rabbit" "sees" "bald eagle" "-")
((triple3) -> (rule1 % int1))
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int1
The rabbit is not big.
Unknown
inv-random
[@0: The rabbit is big.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "big" "-")
The bald eagle likes the cow.
Unknown
random
[@0: The bald eagle likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "cow" "+")
The cow does not see the bald eagle.
Unknown
inv-random
[@0: The cow sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "bald eagle" "-")
The bald eagle eats the cow.
Unknown
random
[@0: The bald eagle eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "cow" "+")
@0: The bald eagle sees the rabbit.[(triple1)] The cow is nice.[(triple2)] The lion eats the rabbit.[(triple3)] The rabbit is kind.[(triple4)] @1: The rabbit sees the bald eagle.[(((triple3) -> rule1))]
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
triple1
The cow is nice.
("cow" "is" "nice" "+")
triple2
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
triple3
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple4
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
((triple3) -> (rule1 % int1))
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int1