The bear is cold. The dog likes the lion. The lion is red. The tiger chases the dog. If something is young then it does not chase the tiger. If the bear chases the lion then the lion does not like the dog. If something is nice then it likes the tiger. If something is red and it does not eat the tiger then it is rough. If something chases the bear and it is not red then the bear does not like the lion. If the tiger does not eat the lion and the lion does not chase the bear then the bear does not like the dog. If something likes the lion then the lion does not eat the bear. If something eats the lion then the lion is young.
The bear is cold.
("bear" "is" "cold" "+")
The dog likes the lion.
("dog" "likes" "lion" "+")
The lion is red.
("lion" "is" "red" "+")
The tiger chases the dog.
("tiger" "chases" "dog" "+")
If something is young then it does not chase the tiger.
((("something" "is" "young" "+")) -> ("something" "chases" "tiger" "-"))
If the bear chases the lion then the lion does not like the dog.
((("bear" "chases" "lion" "+")) -> ("lion" "likes" "dog" "-"))
If something is nice then it likes the tiger.
((("something" "is" "nice" "+")) -> ("something" "likes" "tiger" "+"))
If something is red and it does not eat the tiger then it is rough.
((("something" "is" "red" "+") ("something" "eats" "tiger" "~")) -> ("something" "is" "rough" "+"))
If something chases the bear and it is not red then the bear does not like the lion.
((("something" "chases" "bear" "+") ("something" "is" "red" "~")) -> ("bear" "likes" "lion" "-"))
If the tiger does not eat the lion and the lion does not chase the bear then the bear does not like the dog.
((("tiger" "eats" "lion" "~") ("lion" "chases" "bear" "~")) -> ("bear" "likes" "dog" "-"))
If something likes the lion then the lion does not eat the bear.
((("something" "likes" "lion" "+")) -> ("lion" "eats" "bear" "-"))
If something eats the lion then the lion is young.
((("something" "eats" "lion" "+")) -> ("lion" "is" "young" "+"))
The bear is cold.
True
1
proof
[(triple1)]
("bear" "is" "cold" "+")
triple1
The bear is not cold.
False
1
inv-proof
[(triple1)]
("bear" "is" "cold" "-")
triple1
The lion does not eat the bear.
True
2
proof
[(((triple2) -> rule7))]
("lion" "eats" "bear" "-")
((triple2) -> (rule7 % int1))
The lion does not eat the bear.
("lion" "eats" "bear" "-")
int1
The lion eats the bear.
False
2
inv-proof
[(((triple2) -> rule7))]
("lion" "eats" "bear" "+")
((triple2) -> (rule7 % int1))
The lion does not eat the bear.
("lion" "eats" "bear" "-")
int1
The dog does not like the tiger.
Unknown
inv-rconc
[@1: The dog likes the tiger.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("dog" "likes" "tiger" "-")
The lion likes the tiger.
Unknown
rconc
[@1: The lion likes the tiger.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("lion" "likes" "tiger" "+")
The lion does not like the lion.
Unknown
inv-random
[@0: The lion likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "lion" "-")
The tiger is nice.
Unknown
random
[@0: The tiger is nice.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "nice" "+")
@0: The bear is cold.[(triple1)] The dog likes the lion.[(triple2)] The lion is red.[(triple3)] The tiger chases the dog.[(triple4)] @1: The lion does not eat the bear.[(((triple2) -> rule7))]
The bear is cold.
("bear" "is" "cold" "+")
triple1
The dog likes the lion.
("dog" "likes" "lion" "+")
triple2
The lion is red.
("lion" "is" "red" "+")
triple3
The tiger chases the dog.
("tiger" "chases" "dog" "+")
triple4
The lion does not eat the bear.
("lion" "eats" "bear" "-")
((triple2) -> (rule7 % int1))
The lion does not eat the bear.
("lion" "eats" "bear" "-")
int1