The bald eagle is young. The rabbit likes the bald eagle. The squirrel sees the rabbit. If someone likes the bald eagle then the bald eagle sees the rabbit.
The bald eagle is young.
("bald eagle" "is" "young" "+")
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
If someone likes the bald eagle then the bald eagle sees the rabbit.
((("someone" "likes" "bald eagle" "+")) -> ("bald eagle" "sees" "rabbit" "+"))
The bald eagle is young.
True
1
proof
[(triple1)]
("bald eagle" "is" "young" "+")
triple1
The squirrel does not see the rabbit.
False
1
inv-proof
[(triple3)]
("squirrel" "sees" "rabbit" "-")
triple3
The bald eagle sees the rabbit.
True
2
proof
[(((triple2) -> rule1))]
("bald eagle" "sees" "rabbit" "+")
((triple2) -> (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
[(((triple2) -> rule1))]
("bald eagle" "sees" "rabbit" "-")
((triple2) -> (rule1 % int1))
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int1
The bald eagle is not nice.
Unknown
inv-random
[@0: The bald eagle is nice.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "nice" "-")
The bald eagle is round.
Unknown
random
[@0: The bald eagle is round.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "round" "+")
The bald eagle does not like the squirrel.
Unknown
inv-random
[@0: The bald eagle likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "squirrel" "-")
The rabbit is young.
Unknown
random
[@0: The rabbit is young.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "young" "+")
@0: The bald eagle is young.[(triple1)] The rabbit likes the bald eagle.[(triple2)] The squirrel sees the rabbit.[(triple3)] @1: The bald eagle sees the rabbit.[(((triple2) -> rule1))]
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple1
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
triple2
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
triple3
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
((triple2) -> (rule1 % int1))
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int1