The bear chases the dog. The bear is big. The bear is young. The dog does not chase the bear. The dog eats the bear. The dog is big. The dog does not see the bear. If someone is young and they chase the bear then the bear does not eat the dog. If the dog eats the bear then the dog is not kind. If the dog chases the bear and the dog is not rough then the bear is young. If someone is rough and kind then they eat the bear. If someone eats the dog and the dog eats the bear then the bear is cold. If someone sees the dog and they are not young then the dog does not see the bear.
The bear chases the dog.
("bear" "chases" "dog" "+")
The bear is big.
("bear" "is" "big" "+")
The bear is young.
("bear" "is" "young" "+")
The dog does not chase the bear.
("dog" "chases" "bear" "-")
The dog eats the bear.
("dog" "eats" "bear" "+")
The dog is big.
("dog" "is" "big" "+")
The dog does not see the bear.
("dog" "sees" "bear" "-")
If someone is young and they chase the bear then the bear does not eat the dog.
((("someone" "is" "young" "+") ("someone" "chases" "bear" "+")) -> ("bear" "eats" "dog" "-"))
If the dog eats the bear then the dog is not kind.
((("dog" "eats" "bear" "+")) -> ("dog" "is" "kind" "-"))
If the dog chases the bear and the dog is not rough then the bear is young.
((("dog" "chases" "bear" "+") ("dog" "is" "rough" "~")) -> ("bear" "is" "young" "+"))
If someone is rough and kind then they eat the bear.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+")) -> ("someone" "eats" "bear" "+"))
If someone eats the dog and the dog eats the bear then the bear is cold.
((("someone" "eats" "dog" "+") ("dog" "eats" "bear" "+")) -> ("bear" "is" "cold" "+"))
If someone sees the dog and they are not young then the dog does not see the bear.
((("someone" "sees" "dog" "+") ("someone" "is" "young" "~")) -> ("dog" "sees" "bear" "-"))
The dog does not chase the bear.
True
1
proof
[(triple4)]
("dog" "chases" "bear" "-")
triple4
The bear is not young.
False
1
inv-proof
[(triple3)]
("bear" "is" "young" "-")
triple3
The dog is not kind.
True
2
proof
[(((triple5) -> rule2))]
("dog" "is" "kind" "-")
((triple5) -> (rule2 % int1))
The dog is not kind.
("dog" "is" "kind" "-")
int1
The dog is kind.
False
2
inv-proof
[(((triple5) -> rule2))]
("dog" "is" "kind" "+")
((triple5) -> (rule2 % int1))
The dog is not kind.
("dog" "is" "kind" "-")
int1
The bear does not eat the bear.
Unknown
inv-rconc
[@1: The bear eats the bear.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bear" "eats" "bear" "-")
The bear is cold.
Unknown
rconc
[@1: The bear is cold.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bear" "is" "cold" "+")
The bear does not see the bear.
Unknown
inv-random
[@0: The bear sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bear" "-")
The bear eats the dog.
Unknown
random
[@0: The bear eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "dog" "+")
@0: The bear chases the dog.[(triple1)] The bear is big.[(triple2)] The bear is young.[(triple3)] The dog does not chase the bear.[(triple4)] The dog does not see the bear.[(triple7)] The dog eats the bear.[(triple5)] The dog is big.[(triple6)] @1: The dog is not kind.[(((triple5) -> rule2))]
The bear chases the dog.
("bear" "chases" "dog" "+")
triple1
The bear is big.
("bear" "is" "big" "+")
triple2
The bear is young.
("bear" "is" "young" "+")
triple3
The dog does not chase the bear.
("dog" "chases" "bear" "-")
triple4
The dog does not see the bear.
("dog" "sees" "bear" "-")
triple7
The dog eats the bear.
("dog" "eats" "bear" "+")
triple5
The dog is big.
("dog" "is" "big" "+")
triple6
The dog is not kind.
("dog" "is" "kind" "-")
((triple5) -> (rule2 % int1))
The dog is not kind.
("dog" "is" "kind" "-")
int1