The bald eagle visits the rabbit. The cat is kind. The rabbit needs the bald eagle. If the cat visits the rabbit then the rabbit is young. If something chases the bald eagle then it chases the cat. If something is cold and round then it needs the cat. If the bald eagle visits the rabbit then the bald eagle is young. If something visits the rabbit and it is round then it needs the rabbit. If something visits the rabbit then the rabbit needs the bald eagle.
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
The cat is kind.
("cat" "is" "kind" "+")
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
If the cat visits the rabbit then the rabbit is young.
((("cat" "visits" "rabbit" "+")) -> ("rabbit" "is" "young" "+"))
If something chases the bald eagle then it chases the cat.
((("something" "chases" "bald eagle" "+")) -> ("something" "chases" "cat" "+"))
If something is cold and round then it needs the cat.
((("something" "is" "cold" "+") ("something" "is" "round" "+")) -> ("something" "needs" "cat" "+"))
If the bald eagle visits the rabbit then the bald eagle is young.
((("bald eagle" "visits" "rabbit" "+")) -> ("bald eagle" "is" "young" "+"))
If something visits the rabbit and it is round then it needs the rabbit.
((("something" "visits" "rabbit" "+") ("something" "is" "round" "+")) -> ("something" "needs" "rabbit" "+"))
If something visits the rabbit then the rabbit needs the bald eagle.
((("something" "visits" "rabbit" "+")) -> ("rabbit" "needs" "bald eagle" "+"))
The bald eagle visits the rabbit.
True
1
proof
[(triple1)]
("bald eagle" "visits" "rabbit" "+")
triple1
The bald eagle does not visit the rabbit.
False
1
inv-proof
[(triple1)]
("bald eagle" "visits" "rabbit" "-")
triple1
The cat does not chase the cat.
Unknown
inv-rconc
[@1: The cat chases the cat.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "chases" "cat" "-")
The bald eagle is round.
Unknown
random
[@0: The bald eagle is round.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "round" "+")
@0: The bald eagle visits the rabbit.[(triple1)] The cat is kind.[(triple2)] The rabbit needs the bald eagle.[(triple3 OR ((triple1) -> rule6))] @1: The bald eagle is young.[(((triple1) -> rule4))]
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
triple1
The cat is kind.
("cat" "is" "kind" "+")
triple2
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
triple3
((triple1) -> (rule6 % int1))
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int1
The bald eagle is young.
("bald eagle" "is" "young" "+")
((triple1) -> (rule4 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1