The bald eagle sees the bear. The bald eagle sees the rabbit. The bald eagle does not visit the cat. The bear is not red. The bear is not young. The bear likes the rabbit. The cat is nice. The cat likes the bald eagle. The cat sees the bald eagle. The rabbit is cold. The rabbit is not green. The rabbit is not nice. The rabbit likes the bald eagle. The rabbit does not like the cat. The rabbit sees the bald eagle. The rabbit visits the cat. If someone sees the rabbit then they are not young. If someone visits the bear and the bear does not like the bald eagle then the bald eagle likes the rabbit.
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
The bald eagle does not visit the cat.
("bald eagle" "visits" "cat" "-")
The bear is not red.
("bear" "is" "red" "-")
The bear is not young.
("bear" "is" "young" "-")
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The rabbit is not green.
("rabbit" "is" "green" "-")
The rabbit is not nice.
("rabbit" "is" "nice" "-")
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
The rabbit does not like the cat.
("rabbit" "likes" "cat" "-")
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
If someone sees the rabbit then they are not young.
((("someone" "sees" "rabbit" "+")) -> ("someone" "is" "young" "-"))
If someone visits the bear and the bear does not like the bald eagle then the bald eagle likes the rabbit.
((("someone" "visits" "bear" "+") ("bear" "likes" "bald eagle" "~")) -> ("bald eagle" "likes" "rabbit" "+"))
The rabbit likes the bald eagle.
True
1
proof
[(triple13)]
("rabbit" "likes" "bald eagle" "+")
triple13
The bald eagle does not see the bear.
False
1
inv-proof
[(triple1)]
("bald eagle" "sees" "bear" "-")
triple1
The bald eagle does not like the rabbit.
Unknown
inv-rconc
[@1: The bald eagle likes the rabbit.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "likes" "rabbit" "-")
The bald eagle visits the bear.
Unknown
random
[@0: The bald eagle visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "bear" "+")
@0: The bald eagle does not visit the cat.[(triple3)] The bald eagle sees the bear.[(triple1)] The bald eagle sees the rabbit.[(triple2)] The bear is not red.[(triple4)] The bear is not young.[(triple5)] The bear likes the rabbit.[(triple6)] The cat is nice.[(triple7)] The cat likes the bald eagle.[(triple8)] The cat sees the bald eagle.[(triple9)] The rabbit does not like the cat.[(triple14)] The rabbit is cold.[(triple10)] The rabbit is not green.[(triple11)] The rabbit is not nice.[(triple12)] The rabbit likes the bald eagle.[(triple13)] The rabbit sees the bald eagle.[(triple15)] The rabbit visits the cat.[(triple16)] @1: The bald eagle is not young.[(((triple2) -> rule1))]
The bald eagle does not visit the cat.
("bald eagle" "visits" "cat" "-")
triple3
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
triple1
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
triple2
The bear is not red.
("bear" "is" "red" "-")
triple4
The bear is not young.
("bear" "is" "young" "-")
triple5
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
triple6
The cat is nice.
("cat" "is" "nice" "+")
triple7
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
triple8
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
triple9
The rabbit does not like the cat.
("rabbit" "likes" "cat" "-")
triple14
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple10
The rabbit is not green.
("rabbit" "is" "green" "-")
triple11
The rabbit is not nice.
("rabbit" "is" "nice" "-")
triple12
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
triple13
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
triple15
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
triple16
The bald eagle is not young.
("bald eagle" "is" "young" "-")
((triple2) -> (rule1 % int1))
The bald eagle is not young.
("bald eagle" "is" "young" "-")
int1