The bear does not chase the dog. The bear eats the dog. The bear is blue. The bear is cold. The bear is kind. The bear is red. The bear is not round. The bear sees the dog. The dog chases the bear. The dog eats the bear. The dog is not blue. The dog is cold. The dog is not kind. The dog is red. The dog is round. The dog sees the bear. If someone sees the dog then they are kind. Kind people are cold. If someone is cold and not round then they do not chase the dog. If someone chases the bear then they do not eat the dog. If someone sees the dog and the dog is blue then the dog chases the bear. If someone chases the bear and they chase the dog then the dog does not eat the bear.
The bear does not chase the dog.
("bear" "chases" "dog" "-")
The bear eats the dog.
("bear" "eats" "dog" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear is red.
("bear" "is" "red" "+")
The bear is not round.
("bear" "is" "round" "-")
The bear sees the dog.
("bear" "sees" "dog" "+")
The dog chases the bear.
("dog" "chases" "bear" "+")
The dog eats the bear.
("dog" "eats" "bear" "+")
The dog is not blue.
("dog" "is" "blue" "-")
The dog is cold.
("dog" "is" "cold" "+")
The dog is not kind.
("dog" "is" "kind" "-")
The dog is red.
("dog" "is" "red" "+")
The dog is round.
("dog" "is" "round" "+")
The dog sees the bear.
("dog" "sees" "bear" "+")
If someone sees the dog then they are kind.
((("someone" "sees" "dog" "+")) -> ("someone" "is" "kind" "+"))
Kind people are cold.
((("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold and not round then they do not chase the dog.
((("someone" "is" "cold" "+") ("someone" "is" "round" "~")) -> ("someone" "chases" "dog" "-"))
If someone chases the bear then they do not eat the dog.
((("someone" "chases" "bear" "+")) -> ("someone" "eats" "dog" "-"))
If someone sees the dog and the dog is blue then the dog chases the bear.
((("someone" "sees" "dog" "+") ("dog" "is" "blue" "+")) -> ("dog" "chases" "bear" "+"))
If someone chases the bear and they chase the dog then the dog does not eat the bear.
((("someone" "chases" "bear" "+") ("someone" "chases" "dog" "+")) -> ("dog" "eats" "bear" "-"))
The bear eats the dog.
True
1
proof
[(triple2)]
("bear" "eats" "dog" "+")
triple2
The bear is not kind.
False
1
inv-proof
[(triple5 OR ((triple8) -> rule1))]
("bear" "is" "kind" "-")
triple5
((triple8) -> (rule1 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The dog does not eat the dog.
True
2
proof
[(((triple9) -> rule4))]
("dog" "eats" "dog" "-")
((triple9) -> (rule4 % int1))
The dog does not eat the dog.
("dog" "eats" "dog" "-")
int1
The dog eats the dog.
False
2
inv-proof
[(((triple9) -> rule4))]
("dog" "eats" "dog" "+")
((triple9) -> (rule4 % int1))
The dog does not eat the dog.
("dog" "eats" "dog" "-")
int1
The dog does not see the dog.
Unknown
inv-random
[@0: The dog sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "dog" "-")
The bear sees the bear.
Unknown
random
[@0: The bear sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bear" "+")
The bear does not chase the bear.
Unknown
inv-random
[@0: The bear chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bear" "-")
The bear eats the bear.
Unknown
random
[@0: The bear eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "bear" "+")
@0: The bear does not chase the dog.[(triple1 OR ((triple4 triple7) -> rule3) OR ((((triple5) -> rule2) triple7) -> rule3) OR ((((((triple8) -> rule1)) -> rule2) triple7) -> rule3))] The bear eats the dog.[(triple2)] The bear is blue.[(triple3)] The bear is cold.[(triple4 OR ((triple5) -> rule2) OR ((((triple8) -> rule1)) -> rule2))] The bear is kind.[(triple5 OR ((triple8) -> rule1))] The bear is not round.[(triple7)] The bear is red.[(triple6)] The bear sees the dog.[(triple8)] The dog chases the bear.[(triple9)] The dog eats the bear.[(triple10)] The dog is cold.[(triple12)] The dog is not blue.[(triple11)] The dog is not kind.[(triple13)] The dog is red.[(triple14)] The dog is round.[(triple15)] The dog sees the bear.[(triple16)] @1: The dog does not eat the dog.[(((triple9) -> rule4))]
The bear does not chase the dog.
("bear" "chases" "dog" "-")
triple1
((triple4 triple7) -> (rule3 % int1))
The bear does not chase the dog.
("bear" "chases" "dog" "-")
int1
((((triple5) -> (rule2 % int2)) triple7) -> (rule3 % int1))
The bear does not chase the dog.
("bear" "chases" "dog" "-")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2
((((((triple8) -> (rule1 % int3))) -> (rule2 % int2)) triple7) -> (rule3 % int1))
The bear does not chase the dog.
("bear" "chases" "dog" "-")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2
The bear is kind.
("bear" "is" "kind" "+")
int3
The bear eats the dog.
("bear" "eats" "dog" "+")
triple2
The bear is blue.
("bear" "is" "blue" "+")
triple3
The bear is cold.
("bear" "is" "cold" "+")
triple4
((triple5) -> (rule2 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
((((triple8) -> (rule1 % int2))) -> (rule2 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
The bear is kind.
("bear" "is" "kind" "+")
triple5
((triple8) -> (rule1 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The bear is not round.
("bear" "is" "round" "-")
triple7
The bear is red.
("bear" "is" "red" "+")
triple6
The bear sees the dog.
("bear" "sees" "dog" "+")
triple8
The dog chases the bear.
("dog" "chases" "bear" "+")
triple9
The dog eats the bear.
("dog" "eats" "bear" "+")
triple10
The dog is cold.
("dog" "is" "cold" "+")
triple12
The dog is not blue.
("dog" "is" "blue" "-")
triple11
The dog is not kind.
("dog" "is" "kind" "-")
triple13
The dog is red.
("dog" "is" "red" "+")
triple14
The dog is round.
("dog" "is" "round" "+")
triple15
The dog sees the bear.
("dog" "sees" "bear" "+")
triple16
The dog does not eat the dog.
("dog" "eats" "dog" "-")
((triple9) -> (rule4 % int1))
The dog does not eat the dog.
("dog" "eats" "dog" "-")
int1