The bear is kind. The bear likes the cat. The cat chases the dog. The cat eats the bear. The cat eats the dog. The cat is big. The cat is round. The dog chases the cat. The dog eats the bear. The dog eats the cat. The dog is cold. The dog is kind. The dog is red. The dog is not round. The dog likes the bear. The dog likes the cat. If something is red and big then it is not kind. If something eats the cat and the cat is kind then it is not red. Big things are not red. If something chases the bear and the bear chases the dog then the bear does not like the dog. If something eats the bear then the bear eats the cat. If something eats the cat and it does not eat the bear then it likes the cat. If something eats the dog then it is cold. If something chases the dog and it is not round then the dog is not kind.
The bear is kind.
("bear" "is" "kind" "+")
The bear likes the cat.
("bear" "likes" "cat" "+")
The cat chases the dog.
("cat" "chases" "dog" "+")
The cat eats the bear.
("cat" "eats" "bear" "+")
The cat eats the dog.
("cat" "eats" "dog" "+")
The cat is big.
("cat" "is" "big" "+")
The cat is round.
("cat" "is" "round" "+")
The dog chases the cat.
("dog" "chases" "cat" "+")
The dog eats the bear.
("dog" "eats" "bear" "+")
The dog eats the cat.
("dog" "eats" "cat" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog is red.
("dog" "is" "red" "+")
The dog is not round.
("dog" "is" "round" "-")
The dog likes the bear.
("dog" "likes" "bear" "+")
The dog likes the cat.
("dog" "likes" "cat" "+")
If something is red and big then it is not kind.
((("something" "is" "red" "+") ("something" "is" "big" "+")) -> ("something" "is" "kind" "-"))
If something eats the cat and the cat is kind then it is not red.
((("something" "eats" "cat" "+") ("cat" "is" "kind" "+")) -> ("something" "is" "red" "-"))
Big things are not red.
((("something" "is" "big" "+")) -> ("something" "is" "red" "-"))
If something chases the bear and the bear chases the dog then the bear does not like the dog.
((("something" "chases" "bear" "+") ("bear" "chases" "dog" "+")) -> ("bear" "likes" "dog" "-"))
If something eats the bear then the bear eats the cat.
((("something" "eats" "bear" "+")) -> ("bear" "eats" "cat" "+"))
If something eats the cat and it does not eat the bear then it likes the cat.
((("something" "eats" "cat" "+") ("something" "eats" "bear" "~")) -> ("something" "likes" "cat" "+"))
If something eats the dog then it is cold.
((("something" "eats" "dog" "+")) -> ("something" "is" "cold" "+"))
If something chases the dog and it is not round then the dog is not kind.
((("something" "chases" "dog" "+") ("something" "is" "round" "~")) -> ("dog" "is" "kind" "-"))
The cat eats the bear.
True
1
proof
[(triple4)]
("cat" "eats" "bear" "+")
triple4
The cat does not eat the bear.
False
1
inv-proof
[(triple4)]
("cat" "eats" "bear" "-")
triple4
The cat is not red.
True
2
proof
[(((triple6) -> rule3))]
("cat" "is" "red" "-")
((triple6) -> (rule3 % int1))
The cat is not red.
("cat" "is" "red" "-")
int1
The cat is not cold.
False
2
inv-proof
[(((triple5) -> rule7))]
("cat" "is" "cold" "-")
((triple5) -> (rule7 % int1))
The cat is cold.
("cat" "is" "cold" "+")
int1
The bear is not cold.
Unknown
inv-rconc
[@1: The bear is cold.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("bear" "is" "cold" "-")
The cat likes the cat.
Unknown
rconc
[@1: The cat likes the cat.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("cat" "likes" "cat" "+")
The dog does not chase the bear.
Unknown
inv-random
[@0: The dog chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("dog" "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 is kind.[(triple1)] The bear likes the cat.[(triple2)] The cat chases the dog.[(triple3)] The cat eats the bear.[(triple4)] The cat eats the dog.[(triple5)] The cat is big.[(triple6)] The cat is round.[(triple7)] The dog chases the cat.[(triple8)] The dog eats the bear.[(triple9)] The dog eats the cat.[(triple10)] The dog is cold.[(triple11)] The dog is kind.[(triple12)] The dog is not round.[(triple14)] The dog is red.[(triple13)] The dog likes the bear.[(triple15)] The dog likes the cat.[(triple16)] @1: The bear eats the cat.[(((triple4) -> rule5) OR ((triple9) -> rule5))] The cat is cold.[(((triple5) -> rule7))] The cat is not red.[(((triple6) -> rule3))]
The bear is kind.
("bear" "is" "kind" "+")
triple1
The bear likes the cat.
("bear" "likes" "cat" "+")
triple2
The cat chases the dog.
("cat" "chases" "dog" "+")
triple3
The cat eats the bear.
("cat" "eats" "bear" "+")
triple4
The cat eats the dog.
("cat" "eats" "dog" "+")
triple5
The cat is big.
("cat" "is" "big" "+")
triple6
The cat is round.
("cat" "is" "round" "+")
triple7
The dog chases the cat.
("dog" "chases" "cat" "+")
triple8
The dog eats the bear.
("dog" "eats" "bear" "+")
triple9
The dog eats the cat.
("dog" "eats" "cat" "+")
triple10
The dog is cold.
("dog" "is" "cold" "+")
triple11
The dog is kind.
("dog" "is" "kind" "+")
triple12
The dog is not round.
("dog" "is" "round" "-")
triple14
The dog is red.
("dog" "is" "red" "+")
triple13
The dog likes the bear.
("dog" "likes" "bear" "+")
triple15
The dog likes the cat.
("dog" "likes" "cat" "+")
triple16
The bear eats the cat.
("bear" "eats" "cat" "+")
((triple4) -> (rule5 % int1))
The bear eats the cat.
("bear" "eats" "cat" "+")
int1
((triple9) -> (rule5 % int1))
The bear eats the cat.
("bear" "eats" "cat" "+")
int1
The cat is cold.
("cat" "is" "cold" "+")
((triple5) -> (rule7 % int1))
The cat is cold.
("cat" "is" "cold" "+")
int1
The cat is not red.
("cat" "is" "red" "-")
((triple6) -> (rule3 % int1))
The cat is not red.
("cat" "is" "red" "-")
int1