The bald eagle chases the dog. The bald eagle is not green. The bald eagle likes the dog. The bald eagle visits the dog. The dog chases the bald eagle. The dog is not big. The dog is not green. The dog is rough. The dog does not like the bald eagle. The dog visits the bald eagle. If something likes the bald eagle then it is nice. If something likes the bald eagle and it does not chase the bald eagle then it is not red. If the bald eagle is rough and the bald eagle visits the dog then the bald eagle does not chase the dog. If something visits the bald eagle and it likes the dog then the bald eagle chases the dog. If something chases the dog and the dog visits the bald eagle then it likes the bald eagle. If something chases the dog and the dog likes the bald eagle then the bald eagle does not visit the dog.
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
The bald eagle is not green.
("bald eagle" "is" "green" "-")
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
The dog is not big.
("dog" "is" "big" "-")
The dog is not green.
("dog" "is" "green" "-")
The dog is rough.
("dog" "is" "rough" "+")
The dog does not like the bald eagle.
("dog" "likes" "bald eagle" "-")
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
If something likes the bald eagle then it is nice.
((("something" "likes" "bald eagle" "+")) -> ("something" "is" "nice" "+"))
If something likes the bald eagle and it does not chase the bald eagle then it is not red.
((("something" "likes" "bald eagle" "+") ("something" "chases" "bald eagle" "~")) -> ("something" "is" "red" "-"))
If the bald eagle is rough and the bald eagle visits the dog then the bald eagle does not chase the dog.
((("bald eagle" "is" "rough" "+") ("bald eagle" "visits" "dog" "+")) -> ("bald eagle" "chases" "dog" "-"))
If something visits the bald eagle and it likes the dog then the bald eagle chases the dog.
((("something" "visits" "bald eagle" "+") ("something" "likes" "dog" "+")) -> ("bald eagle" "chases" "dog" "+"))
If something chases the dog and the dog visits the bald eagle then it likes the bald eagle.
((("something" "chases" "dog" "+") ("dog" "visits" "bald eagle" "+")) -> ("something" "likes" "bald eagle" "+"))
If something chases the dog and the dog likes the bald eagle then the bald eagle does not visit the dog.
((("something" "chases" "dog" "+") ("dog" "likes" "bald eagle" "+")) -> ("bald eagle" "visits" "dog" "-"))
The dog does not like the bald eagle.
True
1
proof
[(triple9)]
("dog" "likes" "bald eagle" "-")
triple9
The dog is green.
False
1
inv-proof
[(triple7)]
("dog" "is" "green" "+")
triple7
The bald eagle likes the bald eagle.
True
3
proof
[(((triple1 triple10) -> rule5))]
("bald eagle" "likes" "bald eagle" "+")
((triple1 triple10) -> (rule5 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
The bald eagle does not like the bald eagle.
False
3
inv-proof
[(((triple1 triple10) -> rule5))]
("bald eagle" "likes" "bald eagle" "-")
((triple1 triple10) -> (rule5 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
The bald eagle is nice.
True
4
proof
[(((((triple1 triple10) -> rule5)) -> rule1))]
("bald eagle" "is" "nice" "+")
((((triple1 triple10) -> (rule5 % int2))) -> (rule1 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int2
The bald eagle is not nice.
False
4
inv-proof
[(((((triple1 triple10) -> rule5)) -> rule1))]
("bald eagle" "is" "nice" "-")
((((triple1 triple10) -> (rule5 % int2))) -> (rule1 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int2
The dog is not nice.
Unknown
inv-rconc
[@1: The dog is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "is" "nice" "-")
The dog chases the dog.
Unknown
random
[@0: The dog chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "dog" "+")
The bald eagle is not red.
Unknown
inv-random
[@0: The bald eagle is red.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "red" "-")
The dog likes the dog.
Unknown
random
[@0: The dog likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "dog" "+")
The bald eagle does not visit the bald eagle.
Unknown
inv-random
[@0: The bald eagle visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "bald eagle" "-")
The dog visits the dog.
Unknown
random
[@0: The dog visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "dog" "+")
@0: The bald eagle chases the dog.[(triple1)] The bald eagle is not green.[(triple2)] The bald eagle likes the dog.[(triple3)] The bald eagle visits the dog.[(triple4)] The dog chases the bald eagle.[(triple5)] The dog does not like the bald eagle.[(triple9)] The dog is not big.[(triple6)] The dog is not green.[(triple7)] The dog is rough.[(triple8)] The dog visits the bald eagle.[(triple10)] @1: The bald eagle likes the bald eagle.[(((triple1 triple10) -> rule5))] @2: The bald eagle is nice.[(((((triple1 triple10) -> rule5)) -> rule1))]
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
triple1
The bald eagle is not green.
("bald eagle" "is" "green" "-")
triple2
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
triple3
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
triple4
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
triple5
The dog does not like the bald eagle.
("dog" "likes" "bald eagle" "-")
triple9
The dog is not big.
("dog" "is" "big" "-")
triple6
The dog is not green.
("dog" "is" "green" "-")
triple7
The dog is rough.
("dog" "is" "rough" "+")
triple8
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
triple10
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
((triple1 triple10) -> (rule5 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
((((triple1 triple10) -> (rule5 % int2))) -> (rule1 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int2