The bald eagle eats the cow. The bald eagle is red. The cow likes the bald eagle. If someone likes the bald eagle then they are kind.
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
If someone likes the bald eagle then they are kind.
((("someone" "likes" "bald eagle" "+")) -> ("someone" "is" "kind" "+"))
The cow likes the bald eagle.
True
1
proof
[(triple3)]
("cow" "likes" "bald eagle" "+")
triple3
The cow does not like the bald eagle.
False
1
inv-proof
[(triple3)]
("cow" "likes" "bald eagle" "-")
triple3
The bald eagle is not kind.
Unknown
inv-rconc
[@1: The bald eagle is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "is" "kind" "-")
The cow is big.
Unknown
random
[@0: The cow is big.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "big" "+")
@0: The bald eagle eats the cow.[(triple1)] The bald eagle is red.[(triple2)] The cow likes the bald eagle.[(triple3)] @1: The cow is kind.[(((triple3) -> rule1))]
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
triple1
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple2
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
triple3
The cow is kind.
("cow" "is" "kind" "+")
((triple3) -> (rule1 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1