The bear chases the dog. The bear is cold. The bear likes the dog. The bear likes the lion. The bear sees the dog. The bear sees the lion. The dog sees the bear. The lion chases the bear. The lion chases the dog. The lion is blue. The lion is cold. The lion is green. The lion likes the bear. The lion likes the dog. The lion sees the bear. The lion sees the dog. If something chases the dog then the dog sees the lion.
The bear chases the dog.
("bear" "chases" "dog" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear likes the dog.
("bear" "likes" "dog" "+")
The bear likes the lion.
("bear" "likes" "lion" "+")
The bear sees the dog.
("bear" "sees" "dog" "+")
The bear sees the lion.
("bear" "sees" "lion" "+")
The dog sees the bear.
("dog" "sees" "bear" "+")
The lion chases the bear.
("lion" "chases" "bear" "+")
The lion chases the dog.
("lion" "chases" "dog" "+")
The lion is blue.
("lion" "is" "blue" "+")
The lion is cold.
("lion" "is" "cold" "+")
The lion is green.
("lion" "is" "green" "+")
The lion likes the bear.
("lion" "likes" "bear" "+")
The lion likes the dog.
("lion" "likes" "dog" "+")
The lion sees the bear.
("lion" "sees" "bear" "+")
The lion sees the dog.
("lion" "sees" "dog" "+")
If something chases the dog then the dog sees the lion.
((("something" "chases" "dog" "+")) -> ("dog" "sees" "lion" "+"))
The lion sees the dog.
True
1
proof
[(triple16)]
("lion" "sees" "dog" "+")
triple16
The bear does not like the lion.
False
1
inv-proof
[(triple4)]
("bear" "likes" "lion" "-")
triple4
The dog sees the lion.
True
2
proof
[(((triple1) -> rule1) OR ((triple9) -> rule1))]
("dog" "sees" "lion" "+")
((triple1) -> (rule1 % int1))
The dog sees the lion.
("dog" "sees" "lion" "+")
int1
((triple9) -> (rule1 % int1))
The dog sees the lion.
("dog" "sees" "lion" "+")
int1
The dog does not see the lion.
False
2
inv-proof
[(((triple1) -> rule1) OR ((triple9) -> rule1))]
("dog" "sees" "lion" "-")
((triple1) -> (rule1 % int1))
The dog sees the lion.
("dog" "sees" "lion" "+")
int1
((triple9) -> (rule1 % int1))
The dog sees the lion.
("dog" "sees" "lion" "+")
int1
The bear does not chase the lion.
Unknown
inv-random
[@0: The bear chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "lion" "-")
The dog likes the bear.
Unknown
random
[@0: The dog likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "bear" "+")
The bear does not chase the bear.
Unknown
inv-random
[@0: The bear chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bear" "-")
The dog chases the dog.
Unknown
random
[@0: The dog chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "dog" "+")
@0: The bear chases the dog.[(triple1)] The bear is cold.[(triple2)] The bear likes the dog.[(triple3)] The bear likes the lion.[(triple4)] The bear sees the dog.[(triple5)] The bear sees the lion.[(triple6)] The dog sees the bear.[(triple7)] The lion chases the bear.[(triple8)] The lion chases the dog.[(triple9)] The lion is blue.[(triple10)] The lion is cold.[(triple11)] The lion is green.[(triple12)] The lion likes the bear.[(triple13)] The lion likes the dog.[(triple14)] The lion sees the bear.[(triple15)] The lion sees the dog.[(triple16)] @1: The dog sees the lion.[(((triple1) -> rule1) OR ((triple9) -> rule1))]
The bear chases the dog.
("bear" "chases" "dog" "+")
triple1
The bear is cold.
("bear" "is" "cold" "+")
triple2
The bear likes the dog.
("bear" "likes" "dog" "+")
triple3
The bear likes the lion.
("bear" "likes" "lion" "+")
triple4
The bear sees the dog.
("bear" "sees" "dog" "+")
triple5
The bear sees the lion.
("bear" "sees" "lion" "+")
triple6
The dog sees the bear.
("dog" "sees" "bear" "+")
triple7
The lion chases the bear.
("lion" "chases" "bear" "+")
triple8
The lion chases the dog.
("lion" "chases" "dog" "+")
triple9
The lion is blue.
("lion" "is" "blue" "+")
triple10
The lion is cold.
("lion" "is" "cold" "+")
triple11
The lion is green.
("lion" "is" "green" "+")
triple12
The lion likes the bear.
("lion" "likes" "bear" "+")
triple13
The lion likes the dog.
("lion" "likes" "dog" "+")
triple14
The lion sees the bear.
("lion" "sees" "bear" "+")
triple15
The lion sees the dog.
("lion" "sees" "dog" "+")
triple16
The dog sees the lion.
("dog" "sees" "lion" "+")
((triple1) -> (rule1 % int1))
The dog sees the lion.
("dog" "sees" "lion" "+")
int1
((triple9) -> (rule1 % int1))
The dog sees the lion.
("dog" "sees" "lion" "+")
int1