The bear chases the dog. The bear is big. The bear is kind. The bear is not nice. The bear is young. The bear sees the dog. The bear visits the dog. The dog chases the bear. The dog is nice. The dog is not young. If the bear chases the dog then the dog visits the bear. If the bear sees the dog then the dog chases the bear. If the dog is not nice then the dog chases the bear. If the dog visits the bear and the bear is red then the bear visits the dog. If the bear visits the dog and the dog does not visit the bear then the dog sees the bear. If the dog chases the bear and the dog does not see the bear then the dog is not young.
The bear chases the dog.
("bear" "chases" "dog" "+")
The bear is big.
("bear" "is" "big" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear is not nice.
("bear" "is" "nice" "-")
The bear is young.
("bear" "is" "young" "+")
The bear sees the dog.
("bear" "sees" "dog" "+")
The bear visits the dog.
("bear" "visits" "dog" "+")
The dog chases the bear.
("dog" "chases" "bear" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog is not young.
("dog" "is" "young" "-")
If the bear chases the dog then the dog visits the bear.
((("bear" "chases" "dog" "+")) -> ("dog" "visits" "bear" "+"))
If the bear sees the dog then the dog chases the bear.
((("bear" "sees" "dog" "+")) -> ("dog" "chases" "bear" "+"))
If the dog is not nice then the dog chases the bear.
((("dog" "is" "nice" "~")) -> ("dog" "chases" "bear" "+"))
If the dog visits the bear and the bear is red then the bear visits the dog.
((("dog" "visits" "bear" "+") ("bear" "is" "red" "+")) -> ("bear" "visits" "dog" "+"))
If the bear visits the dog and the dog does not visit the bear then the dog sees the bear.
((("bear" "visits" "dog" "+") ("dog" "visits" "bear" "~")) -> ("dog" "sees" "bear" "+"))
If the dog chases the bear and the dog does not see the bear then the dog is not young.
((("dog" "chases" "bear" "+") ("dog" "sees" "bear" "~")) -> ("dog" "is" "young" "-"))
The bear is not nice.
True
1
proof
[(triple4)]
("bear" "is" "nice" "-")
triple4
The dog is young.
False
1
inv-proof
[(triple10)]
("dog" "is" "young" "+")
triple10
The dog does not see the bear.
Unknown
inv-rconc
[@1: The dog sees the bear.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("dog" "sees" "bear" "-")
The dog is kind.
Unknown
random
[@0: The dog is kind.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "kind" "+")
@0: The bear chases the dog.[(triple1)] The bear is big.[(triple2)] The bear is kind.[(triple3)] The bear is not nice.[(triple4)] The bear is young.[(triple5)] The bear sees the dog.[(triple6)] The bear visits the dog.[(triple7)] The dog chases the bear.[(triple8 OR ((triple6) -> rule2))] The dog is nice.[(triple9)] The dog is not young.[(triple10)] @1: The dog visits the bear.[(((triple1) -> rule1))]
The bear chases the dog.
("bear" "chases" "dog" "+")
triple1
The bear is big.
("bear" "is" "big" "+")
triple2
The bear is kind.
("bear" "is" "kind" "+")
triple3
The bear is not nice.
("bear" "is" "nice" "-")
triple4
The bear is young.
("bear" "is" "young" "+")
triple5
The bear sees the dog.
("bear" "sees" "dog" "+")
triple6
The bear visits the dog.
("bear" "visits" "dog" "+")
triple7
The dog chases the bear.
("dog" "chases" "bear" "+")
triple8
((triple6) -> (rule2 % int1))
The dog chases the bear.
("dog" "chases" "bear" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
triple9
The dog is not young.
("dog" "is" "young" "-")
triple10
The dog visits the bear.
("dog" "visits" "bear" "+")
((triple1) -> (rule1 % int1))
The dog visits the bear.
("dog" "visits" "bear" "+")
int1