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