The bear is big. The bear is blue. The bear likes the dog. The cat chases the dog. The cat is big. The cat does not like the bear. The cat sees the bear. The dog is blue. The dog is cold. The dog is nice. The dog likes the bear. The dog likes the cat. The lion chases the dog. The lion is kind. The lion likes the bear. The lion sees the bear. Kind people are nice. If someone sees the cat then the cat does not like the bear. If someone chases the dog then they are kind. If the lion is kind and the lion chases the cat then the cat does not see the lion. If someone likes the dog then they chase the dog. If the dog does not chase the lion then the lion is kind.
The bear is big.
("bear" "is" "big" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear likes the dog.
("bear" "likes" "dog" "+")
The cat chases the dog.
("cat" "chases" "dog" "+")
The cat is big.
("cat" "is" "big" "+")
The cat does not like the bear.
("cat" "likes" "bear" "-")
The cat sees the bear.
("cat" "sees" "bear" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog likes the bear.
("dog" "likes" "bear" "+")
The dog likes the cat.
("dog" "likes" "cat" "+")
The lion chases the dog.
("lion" "chases" "dog" "+")
The lion is kind.
("lion" "is" "kind" "+")
The lion likes the bear.
("lion" "likes" "bear" "+")
The lion sees the bear.
("lion" "sees" "bear" "+")
Kind people are nice.
((("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone sees the cat then the cat does not like the bear.
((("someone" "sees" "cat" "+")) -> ("cat" "likes" "bear" "-"))
If someone chases the dog then they are kind.
((("someone" "chases" "dog" "+")) -> ("someone" "is" "kind" "+"))
If the lion is kind and the lion chases the cat then the cat does not see the lion.
((("lion" "is" "kind" "+") ("lion" "chases" "cat" "+")) -> ("cat" "sees" "lion" "-"))
If someone likes the dog then they chase the dog.
((("someone" "likes" "dog" "+")) -> ("someone" "chases" "dog" "+"))
If the dog does not chase the lion then the lion is kind.
((("dog" "chases" "lion" "~")) -> ("lion" "is" "kind" "+"))
The lion likes the bear.
True
1
proof
[(triple15)]
("lion" "likes" "bear" "+")
triple15
The bear is not big.
False
1
inv-proof
[(triple1)]
("bear" "is" "big" "-")
triple1
The lion is nice.
True
2
proof
[(((triple14) -> rule1) OR ((((triple13) -> rule3)) -> rule1))]
("lion" "is" "nice" "+")
((triple14) -> (rule1 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
((((triple13) -> (rule3 % int2))) -> (rule1 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
The lion is kind.
("lion" "is" "kind" "+")
int2
The lion is not nice.
False
2
inv-proof
[(((triple14) -> rule1) OR ((((triple13) -> rule3)) -> rule1))]
("lion" "is" "nice" "-")
((triple14) -> (rule1 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
((((triple13) -> (rule3 % int2))) -> (rule1 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
The lion is kind.
("lion" "is" "kind" "+")
int2
The cat is nice.
True
3
proof
[(((((triple4) -> rule3)) -> rule1))]
("cat" "is" "nice" "+")
((((triple4) -> (rule3 % int2))) -> (rule1 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The cat is kind.
("cat" "is" "kind" "+")
int2
The cat is not nice.
False
3
inv-proof
[(((((triple4) -> rule3)) -> rule1))]
("cat" "is" "nice" "-")
((((triple4) -> (rule3 % int2))) -> (rule1 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The cat is kind.
("cat" "is" "kind" "+")
int2
The bear is nice.
True
4
proof
[(((((((triple3) -> rule5)) -> rule3)) -> rule1))]
("bear" "is" "nice" "+")
((((((triple3) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
The bear chases the dog.
("bear" "chases" "dog" "+")
int3
The bear is not nice.
False
4
inv-proof
[(((((((triple3) -> rule5)) -> rule3)) -> rule1))]
("bear" "is" "nice" "-")
((((((triple3) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
The bear chases the dog.
("bear" "chases" "dog" "+")
int3
The dog is not kind.
Unknown
inv-rconc
[@2: The dog is kind.[CWA. Example of deepest failure = (rule3 <- rule5 <- FAIL)]]
("dog" "is" "kind" "-")
The dog chases the dog.
Unknown
rconc
[@1: The dog chases the dog.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("dog" "chases" "dog" "+")
The lion does not chase the lion.
Unknown
inv-random
[@0: The lion chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "lion" "-")
The dog sees the lion.
Unknown
random
[@0: The dog sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "lion" "+")
The bear is not cold.
Unknown
inv-random
[@0: The bear is cold.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "cold" "-")
The lion sees the lion.
Unknown
random
[@0: The lion sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "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 likes the lion.
Unknown
random
[@0: The dog likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "lion" "+")
@0: The bear is big.[(triple1)] The bear is blue.[(triple2)] The bear likes the dog.[(triple3)] The cat chases the dog.[(triple4)] The cat does not like the bear.[(triple6)] The cat is big.[(triple5)] The cat sees the bear.[(triple7)] The dog is blue.[(triple8)] The dog is cold.[(triple9)] The dog is nice.[(triple10)] The dog likes the bear.[(triple11)] The dog likes the cat.[(triple12)] The lion chases the dog.[(triple13)] The lion is kind.[(triple14 OR ((triple13) -> rule3))] The lion likes the bear.[(triple15)] The lion sees the bear.[(triple16)] @1: The bear chases the dog.[(((triple3) -> rule5))] The cat is kind.[(((triple4) -> rule3))] The lion is nice.[(((triple14) -> rule1) OR ((((triple13) -> rule3)) -> rule1))] @2: The bear is kind.[(((((triple3) -> rule5)) -> rule3))] The cat is nice.[(((((triple4) -> rule3)) -> rule1))] @3: The bear is nice.[(((((((triple3) -> rule5)) -> rule3)) -> rule1))]
The bear is big.
("bear" "is" "big" "+")
triple1
The bear is blue.
("bear" "is" "blue" "+")
triple2
The bear likes the dog.
("bear" "likes" "dog" "+")
triple3
The cat chases the dog.
("cat" "chases" "dog" "+")
triple4
The cat does not like the bear.
("cat" "likes" "bear" "-")
triple6
The cat is big.
("cat" "is" "big" "+")
triple5
The cat sees the bear.
("cat" "sees" "bear" "+")
triple7
The dog is blue.
("dog" "is" "blue" "+")
triple8
The dog is cold.
("dog" "is" "cold" "+")
triple9
The dog is nice.
("dog" "is" "nice" "+")
triple10
The dog likes the bear.
("dog" "likes" "bear" "+")
triple11
The dog likes the cat.
("dog" "likes" "cat" "+")
triple12
The lion chases the dog.
("lion" "chases" "dog" "+")
triple13
The lion is kind.
("lion" "is" "kind" "+")
triple14
((triple13) -> (rule3 % int1))
The lion is kind.
("lion" "is" "kind" "+")
int1
The lion likes the bear.
("lion" "likes" "bear" "+")
triple15
The lion sees the bear.
("lion" "sees" "bear" "+")
triple16
The bear chases the dog.
("bear" "chases" "dog" "+")
((triple3) -> (rule5 % int1))
The bear chases the dog.
("bear" "chases" "dog" "+")
int1
The cat is kind.
("cat" "is" "kind" "+")
((triple4) -> (rule3 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The lion is nice.
("lion" "is" "nice" "+")
((triple14) -> (rule1 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
((((triple13) -> (rule3 % int2))) -> (rule1 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
The lion is kind.
("lion" "is" "kind" "+")
int2
The bear is kind.
("bear" "is" "kind" "+")
((((triple3) -> (rule5 % int2))) -> (rule3 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The bear chases the dog.
("bear" "chases" "dog" "+")
int2
The cat is nice.
("cat" "is" "nice" "+")
((((triple4) -> (rule3 % int2))) -> (rule1 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The cat is kind.
("cat" "is" "kind" "+")
int2
The bear is nice.
("bear" "is" "nice" "+")
((((((triple3) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
The bear chases the dog.
("bear" "chases" "dog" "+")
int3