The bald eagle is kind. The cow chases the rabbit. The cow is round. The cow likes the rabbit. The rabbit chases the bald eagle. The rabbit chases the cow. The rabbit needs the cow. If something needs the bald eagle and it chases the bald eagle then it likes the rabbit. If something is round then it is blue. If the bald eagle is kind and the bald eagle is rough then the bald eagle needs the cow.
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
The cow is round.
("cow" "is" "round" "+")
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
The rabbit chases the cow.
("rabbit" "chases" "cow" "+")
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
If something needs the bald eagle and it chases the bald eagle then it likes the rabbit.
((("something" "needs" "bald eagle" "+") ("something" "chases" "bald eagle" "+")) -> ("something" "likes" "rabbit" "+"))
If something is round then it is blue.
((("something" "is" "round" "+")) -> ("something" "is" "blue" "+"))
If the bald eagle is kind and the bald eagle is rough then the bald eagle needs the cow.
((("bald eagle" "is" "kind" "+") ("bald eagle" "is" "rough" "+")) -> ("bald eagle" "needs" "cow" "+"))
The cow is round.
True
1
proof
[(triple3)]
("cow" "is" "round" "+")
triple3
The bald eagle is not kind.
False
1
inv-proof
[(triple1)]
("bald eagle" "is" "kind" "-")
triple1
The cow is blue.
True
2
proof
[(((triple3) -> rule2))]
("cow" "is" "blue" "+")
((triple3) -> (rule2 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The cow is not blue.
False
2
inv-proof
[(((triple3) -> rule2))]
("cow" "is" "blue" "-")
((triple3) -> (rule2 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The bald eagle does not need the cow.
Unknown
inv-rconc
[@1: The bald eagle needs the cow.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "needs" "cow" "-")
The rabbit likes the rabbit.
Unknown
rconc
[@1: The rabbit likes the rabbit.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "likes" "rabbit" "+")
The cow does not like the cow.
Unknown
inv-random
[@0: The cow likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "cow" "-")
The rabbit is rough.
Unknown
random
[@0: The rabbit is rough.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "rough" "+")
@0: The bald eagle is kind.[(triple1)] The cow chases the rabbit.[(triple2)] The cow is round.[(triple3)] The cow likes the rabbit.[(triple4)] The rabbit chases the bald eagle.[(triple5)] The rabbit chases the cow.[(triple6)] The rabbit needs the cow.[(triple7)] @1: The cow is blue.[(((triple3) -> rule2))]
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple1
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
triple2
The cow is round.
("cow" "is" "round" "+")
triple3
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
triple4
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
triple5
The rabbit chases the cow.
("rabbit" "chases" "cow" "+")
triple6
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
triple7
The cow is blue.
("cow" "is" "blue" "+")
((triple3) -> (rule2 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1