The bear chases the dog. The bear eats the dog. The bear is not kind. The bear is nice. The bear is red. The bear is rough. The bear is round. The bear sees the dog. The dog chases the bear. The dog is kind. The dog is rough. The dog is not round. If someone chases the bear then the bear eats the dog. If someone is kind then they chase the dog. If someone sees the dog then the dog eats the bear.
The bear chases the dog.
("bear" "chases" "dog" "+")
The bear eats the dog.
("bear" "eats" "dog" "+")
The bear is not kind.
("bear" "is" "kind" "-")
The bear is nice.
("bear" "is" "nice" "+")
The bear is red.
("bear" "is" "red" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear is round.
("bear" "is" "round" "+")
The bear sees the dog.
("bear" "sees" "dog" "+")
The dog chases the bear.
("dog" "chases" "bear" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog is rough.
("dog" "is" "rough" "+")
The dog is not round.
("dog" "is" "round" "-")
If someone chases the bear then the bear eats the dog.
((("someone" "chases" "bear" "+")) -> ("bear" "eats" "dog" "+"))
If someone is kind then they chase the dog.
((("someone" "is" "kind" "+")) -> ("someone" "chases" "dog" "+"))
If someone sees the dog then the dog eats the bear.
((("someone" "sees" "dog" "+")) -> ("dog" "eats" "bear" "+"))
The bear sees the dog.
True
1
proof
[(triple8)]
("bear" "sees" "dog" "+")
triple8
The bear is not nice.
False
1
inv-proof
[(triple4)]
("bear" "is" "nice" "-")
triple4
The dog chases the dog.
True
2
proof
[(((triple10) -> rule2))]
("dog" "chases" "dog" "+")
((triple10) -> (rule2 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The dog does not eat the bear.
False
2
inv-proof
[(((triple8) -> rule3))]
("dog" "eats" "bear" "-")
((triple8) -> (rule3 % int1))
The dog eats the bear.
("dog" "eats" "bear" "+")
int1
The bear does not eat the bear.
Unknown
inv-random
[@0: The bear eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "bear" "-")
The dog sees the dog.
Unknown
random
[@0: The dog sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "dog" "+")
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 dog is nice.
Unknown
random
[@0: The dog is nice.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "nice" "+")
@0: The bear chases the dog.[(triple1)] The bear eats the dog.[(triple2 OR ((triple9) -> rule1))] The bear is nice.[(triple4)] The bear is not kind.[(triple3)] The bear is red.[(triple5)] The bear is rough.[(triple6)] The bear is round.[(triple7)] The bear sees the dog.[(triple8)] The dog chases the bear.[(triple9)] The dog is kind.[(triple10)] The dog is not round.[(triple12)] The dog is rough.[(triple11)] @1: The dog chases the dog.[(((triple10) -> rule2))] The dog eats the bear.[(((triple8) -> rule3))]
The bear chases the dog.
("bear" "chases" "dog" "+")
triple1
The bear eats the dog.
("bear" "eats" "dog" "+")
triple2
((triple9) -> (rule1 % int1))
The bear eats the dog.
("bear" "eats" "dog" "+")
int1
The bear is nice.
("bear" "is" "nice" "+")
triple4
The bear is not kind.
("bear" "is" "kind" "-")
triple3
The bear is red.
("bear" "is" "red" "+")
triple5
The bear is rough.
("bear" "is" "rough" "+")
triple6
The bear is round.
("bear" "is" "round" "+")
triple7
The bear sees the dog.
("bear" "sees" "dog" "+")
triple8
The dog chases the bear.
("dog" "chases" "bear" "+")
triple9
The dog is kind.
("dog" "is" "kind" "+")
triple10
The dog is not round.
("dog" "is" "round" "-")
triple12
The dog is rough.
("dog" "is" "rough" "+")
triple11
The dog chases the dog.
("dog" "chases" "dog" "+")
((triple10) -> (rule2 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The dog eats the bear.
("dog" "eats" "bear" "+")
((triple8) -> (rule3 % int1))
The dog eats the bear.
("dog" "eats" "bear" "+")
int1