The bald eagle is big. The bald eagle is green. The bald eagle is rough. The bald eagle needs the rabbit. The bald eagle visits the dog. The dog is rough. The rabbit needs the dog. If someone is rough and they visit the dog then they are kind. If someone is kind then they visit the dog. If the rabbit likes the bald eagle then the rabbit is kind.
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
The dog is rough.
("dog" "is" "rough" "+")
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
If someone is rough and they visit the dog then they are kind.
((("someone" "is" "rough" "+") ("someone" "visits" "dog" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind then they visit the dog.
((("someone" "is" "kind" "+")) -> ("someone" "visits" "dog" "+"))
If the rabbit likes the bald eagle then the rabbit is kind.
((("rabbit" "likes" "bald eagle" "+")) -> ("rabbit" "is" "kind" "+"))
The bald eagle visits the dog.
True
1
proof
[(triple5)]
("bald eagle" "visits" "dog" "+")
triple5
The rabbit does not need the dog.
False
1
inv-proof
[(triple7)]
("rabbit" "needs" "dog" "-")
triple7
The dog does not visit the dog.
Unknown
inv-rconc
[@2: The dog visits the dog.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("dog" "visits" "dog" "-")
The rabbit is green.
Unknown
random
[@0: The rabbit is green.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "green" "+")
@0: The bald eagle is big.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle is rough.[(triple3)] The bald eagle needs the rabbit.[(triple4)] The bald eagle visits the dog.[(triple5)] The dog is rough.[(triple6)] The rabbit needs the dog.[(triple7)] @1: The bald eagle is kind.[(((triple3 triple5) -> rule1))]
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple1
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple3
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
triple4
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
triple5
The dog is rough.
("dog" "is" "rough" "+")
triple6
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
triple7
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
((triple3 triple5) -> (rule1 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1