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