The bear is big. The bear is round. The bear sees the dog. The bear visits the lion. The cat chases the bear. The cat is red. The cat sees the bear. The cat visits the bear. The cat visits the lion. The dog chases the cat. The dog is rough. The dog sees the bear. The dog sees the cat. The dog sees the lion. The lion is rough. If someone chases the bear then they chase the lion. Red people are rough. If someone sees the lion and the lion visits the bear then the bear sees the cat. If someone is cold and big then they see the dog. If the lion is rough then the lion chases the bear. If someone chases the dog and the dog sees the bear then they are red.
The bear is big.
("bear" "is" "big" "+")
The bear is round.
("bear" "is" "round" "+")
The bear sees the dog.
("bear" "sees" "dog" "+")
The bear visits the lion.
("bear" "visits" "lion" "+")
The cat chases the bear.
("cat" "chases" "bear" "+")
The cat is red.
("cat" "is" "red" "+")
The cat sees the bear.
("cat" "sees" "bear" "+")
The cat visits the bear.
("cat" "visits" "bear" "+")
The cat visits the lion.
("cat" "visits" "lion" "+")
The dog chases the cat.
("dog" "chases" "cat" "+")
The dog is rough.
("dog" "is" "rough" "+")
The dog sees the bear.
("dog" "sees" "bear" "+")
The dog sees the cat.
("dog" "sees" "cat" "+")
The dog sees the lion.
("dog" "sees" "lion" "+")
The lion is rough.
("lion" "is" "rough" "+")
If someone chases the bear then they chase the lion.
((("someone" "chases" "bear" "+")) -> ("someone" "chases" "lion" "+"))
Red people are rough.
((("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone sees the lion and the lion visits the bear then the bear sees the cat.
((("someone" "sees" "lion" "+") ("lion" "visits" "bear" "+")) -> ("bear" "sees" "cat" "+"))
If someone is cold and big then they see the dog.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "sees" "dog" "+"))
If the lion is rough then the lion chases the bear.
((("lion" "is" "rough" "+")) -> ("lion" "chases" "bear" "+"))
If someone chases the dog and the dog sees the bear then they are red.
((("someone" "chases" "dog" "+") ("dog" "sees" "bear" "+")) -> ("someone" "is" "red" "+"))
The cat visits the bear.
True
1
proof
[(triple8)]
("cat" "visits" "bear" "+")
triple8
The bear is not round.
False
1
inv-proof
[(triple2)]
("bear" "is" "round" "-")
triple2
The lion chases the bear.
True
2
proof
[(((triple15) -> rule5))]
("lion" "chases" "bear" "+")
((triple15) -> (rule5 % int1))
The lion chases the bear.
("lion" "chases" "bear" "+")
int1
The lion does not chase the bear.
False
2
inv-proof
[(((triple15) -> rule5))]
("lion" "chases" "bear" "-")
((triple15) -> (rule5 % int1))
The lion chases the bear.
("lion" "chases" "bear" "+")
int1
The lion chases the lion.
True
3
proof
[(((((triple15) -> rule5)) -> rule1))]
("lion" "chases" "lion" "+")
((((triple15) -> (rule5 % int2))) -> (rule1 % int1))
The lion chases the lion.
("lion" "chases" "lion" "+")
int1
The lion chases the bear.
("lion" "chases" "bear" "+")
int2
The lion does not chase the lion.
False
3
inv-proof
[(((((triple15) -> rule5)) -> rule1))]
("lion" "chases" "lion" "-")
((((triple15) -> (rule5 % int2))) -> (rule1 % int1))
The lion chases the lion.
("lion" "chases" "lion" "+")
int1
The lion chases the bear.
("lion" "chases" "bear" "+")
int2
The dog does not chase the lion.
Unknown
inv-rconc
[@1: The dog chases the lion.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "chases" "lion" "-")
The lion is red.
Unknown
rconc
[@1: The lion is red.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("lion" "is" "red" "+")
The bear does not see the cat.
Unknown
inv-rconc
[@1: The bear sees the cat.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bear" "sees" "cat" "-")
The cat sees the lion.
Unknown
random
[@0: The cat sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "lion" "+")
The cat is not cold.
Unknown
inv-random
[@0: The cat is cold.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "cold" "-")
The dog visits the bear.
Unknown
random
[@0: The dog visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "bear" "+")
@0: The bear is big.[(triple1)] The bear is round.[(triple2)] The bear sees the dog.[(triple3)] The bear visits the lion.[(triple4)] The cat chases the bear.[(triple5)] The cat is red.[(triple6)] The cat sees the bear.[(triple7)] The cat visits the bear.[(triple8)] The cat visits the lion.[(triple9)] The dog chases the cat.[(triple10)] The dog is rough.[(triple11)] The dog sees the bear.[(triple12)] The dog sees the cat.[(triple13)] The dog sees the lion.[(triple14)] The lion is rough.[(triple15)] @1: The cat chases the lion.[(((triple5) -> rule1))] The cat is rough.[(((triple6) -> rule2))] The lion chases the bear.[(((triple15) -> rule5))] @2: The lion chases the lion.[(((((triple15) -> rule5)) -> rule1))]
The bear is big.
("bear" "is" "big" "+")
triple1
The bear is round.
("bear" "is" "round" "+")
triple2
The bear sees the dog.
("bear" "sees" "dog" "+")
triple3
The bear visits the lion.
("bear" "visits" "lion" "+")
triple4
The cat chases the bear.
("cat" "chases" "bear" "+")
triple5
The cat is red.
("cat" "is" "red" "+")
triple6
The cat sees the bear.
("cat" "sees" "bear" "+")
triple7
The cat visits the bear.
("cat" "visits" "bear" "+")
triple8
The cat visits the lion.
("cat" "visits" "lion" "+")
triple9
The dog chases the cat.
("dog" "chases" "cat" "+")
triple10
The dog is rough.
("dog" "is" "rough" "+")
triple11
The dog sees the bear.
("dog" "sees" "bear" "+")
triple12
The dog sees the cat.
("dog" "sees" "cat" "+")
triple13
The dog sees the lion.
("dog" "sees" "lion" "+")
triple14
The lion is rough.
("lion" "is" "rough" "+")
triple15
The cat chases the lion.
("cat" "chases" "lion" "+")
((triple5) -> (rule1 % int1))
The cat chases the lion.
("cat" "chases" "lion" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
((triple6) -> (rule2 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The lion chases the bear.
("lion" "chases" "bear" "+")
((triple15) -> (rule5 % int1))
The lion chases the bear.
("lion" "chases" "bear" "+")
int1
The lion chases the lion.
("lion" "chases" "lion" "+")
((((triple15) -> (rule5 % int2))) -> (rule1 % int1))
The lion chases the lion.
("lion" "chases" "lion" "+")
int1
The lion chases the bear.
("lion" "chases" "bear" "+")
int2