The bald eagle is kind. The bald eagle likes the dog. The bald eagle sees the dog. The bald eagle sees the lion. The bear is big. The bear likes the bald eagle. The bear likes the dog. The dog likes the bald eagle. The dog likes the bear. The dog sees the bear. The dog visits the bald eagle. The lion likes the bear. The lion sees the bear. The lion sees the dog. The lion visits the bald eagle. If the dog visits the bald eagle and the dog likes the bear then the dog is cold.
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
The bear is big.
("bear" "is" "big" "+")
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
The bear likes the dog.
("bear" "likes" "dog" "+")
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
The dog likes the bear.
("dog" "likes" "bear" "+")
The dog sees the bear.
("dog" "sees" "bear" "+")
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
The lion likes the bear.
("lion" "likes" "bear" "+")
The lion sees the bear.
("lion" "sees" "bear" "+")
The lion sees the dog.
("lion" "sees" "dog" "+")
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
If the dog visits the bald eagle and the dog likes the bear then the dog is cold.
((("dog" "visits" "bald eagle" "+") ("dog" "likes" "bear" "+")) -> ("dog" "is" "cold" "+"))
The lion visits the bald eagle.
True
1
proof
[(triple15)]
("lion" "visits" "bald eagle" "+")
triple15
The bear is not big.
False
1
inv-proof
[(triple5)]
("bear" "is" "big" "-")
triple5
The dog is cold.
True
3
proof
[(((triple11 triple9) -> rule1))]
("dog" "is" "cold" "+")
((triple11 triple9) -> (rule1 % int1))
The dog is cold.
("dog" "is" "cold" "+")
int1
The dog is not cold.
False
3
inv-proof
[(((triple11 triple9) -> rule1))]
("dog" "is" "cold" "-")
((triple11 triple9) -> (rule1 % int1))
The dog is cold.
("dog" "is" "cold" "+")
int1
The lion does not visit the dog.
Unknown
inv-random
[@0: The lion visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "dog" "-")
The bald eagle sees the bear.
Unknown
random
[@0: The bald eagle sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "bear" "+")
The lion does not see the bald eagle.
Unknown
inv-random
[@0: The lion sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("lion" "sees" "bald eagle" "-")
The dog is blue.
Unknown
random
[@0: The dog is blue.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "blue" "+")
@0: The bald eagle is kind.[(triple1)] The bald eagle likes the dog.[(triple2)] The bald eagle sees the dog.[(triple3)] The bald eagle sees the lion.[(triple4)] The bear is big.[(triple5)] The bear likes the bald eagle.[(triple6)] The bear likes the dog.[(triple7)] The dog likes the bald eagle.[(triple8)] The dog likes the bear.[(triple9)] The dog sees the bear.[(triple10)] The dog visits the bald eagle.[(triple11)] The lion likes the bear.[(triple12)] The lion sees the bear.[(triple13)] The lion sees the dog.[(triple14)] The lion visits the bald eagle.[(triple15)] @1: The dog is cold.[(((triple11 triple9) -> rule1))]
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple1
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
triple2
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
triple3
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
triple4
The bear is big.
("bear" "is" "big" "+")
triple5
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
triple6
The bear likes the dog.
("bear" "likes" "dog" "+")
triple7
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
triple8
The dog likes the bear.
("dog" "likes" "bear" "+")
triple9
The dog sees the bear.
("dog" "sees" "bear" "+")
triple10
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
triple11
The lion likes the bear.
("lion" "likes" "bear" "+")
triple12
The lion sees the bear.
("lion" "sees" "bear" "+")
triple13
The lion sees the dog.
("lion" "sees" "dog" "+")
triple14
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
triple15
The dog is cold.
("dog" "is" "cold" "+")
((triple11 triple9) -> (rule1 % int1))
The dog is cold.
("dog" "is" "cold" "+")
int1