The bald eagle visits the dog. The dog is kind. The mouse is round. The rabbit visits the bald eagle. If someone needs the dog and they are young then the dog is round. If the dog visits the bald eagle and the dog visits the rabbit then the rabbit is young. If someone eats the dog then the dog eats the mouse. If someone eats the mouse and they visit the dog then the dog eats the bald eagle. If the bald eagle eats the rabbit then the bald eagle is round. If someone visits the rabbit and the rabbit needs the dog then the dog needs the rabbit. If someone is blue then they visit the dog. If someone eats the mouse then they visit the mouse.
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
The dog is kind.
("dog" "is" "kind" "+")
The mouse is round.
("mouse" "is" "round" "+")
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
If someone needs the dog and they are young then the dog is round.
((("someone" "needs" "dog" "+") ("someone" "is" "young" "+")) -> ("dog" "is" "round" "+"))
If the dog visits the bald eagle and the dog visits the rabbit then the rabbit is young.
((("dog" "visits" "bald eagle" "+") ("dog" "visits" "rabbit" "+")) -> ("rabbit" "is" "young" "+"))
If someone eats the dog then the dog eats the mouse.
((("someone" "eats" "dog" "+")) -> ("dog" "eats" "mouse" "+"))
If someone eats the mouse and they visit the dog then the dog eats the bald eagle.
((("someone" "eats" "mouse" "+") ("someone" "visits" "dog" "+")) -> ("dog" "eats" "bald eagle" "+"))
If the bald eagle eats the rabbit then the bald eagle is round.
((("bald eagle" "eats" "rabbit" "+")) -> ("bald eagle" "is" "round" "+"))
If someone visits the rabbit and the rabbit needs the dog then the dog needs the rabbit.
((("someone" "visits" "rabbit" "+") ("rabbit" "needs" "dog" "+")) -> ("dog" "needs" "rabbit" "+"))
If someone is blue then they visit the dog.
((("someone" "is" "blue" "+")) -> ("someone" "visits" "dog" "+"))
If someone eats the mouse then they visit the mouse.
((("someone" "eats" "mouse" "+")) -> ("someone" "visits" "mouse" "+"))
The rabbit visits the bald eagle.
True
1
proof
[(triple4)]
("rabbit" "visits" "bald eagle" "+")
triple4
The dog is not kind.
False
1
inv-proof
[(triple2)]
("dog" "is" "kind" "-")
triple2
The dog is not round.
Unknown
inv-rconc
[@1: The dog is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "is" "round" "-")
The mouse eats the rabbit.
Unknown
random
[@0: The mouse eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "rabbit" "+")
@0: The bald eagle visits the dog.[(triple1)] The dog is kind.[(triple2)] The mouse is round.[(triple3)] The rabbit visits the bald eagle.[(triple4)]
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
triple1
The dog is kind.
("dog" "is" "kind" "+")
triple2
The mouse is round.
("mouse" "is" "round" "+")
triple3
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
triple4