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