The bear chases the dog. The bear is red. The bear is round. The bear needs the dog. The dog chases the bear. The dog eats the bear. The dog is nice. The dog is round. The dog is young. The dog needs the bear. If someone is kind then they need the bear. If the bear is kind then the bear does not need the dog. If the dog eats the bear then the bear eats the dog. If someone is red then they eat the dog. If the dog does not need the bear then the dog is young. If someone chases the dog and they are red then the dog is nice. If someone is young and they eat the dog then the dog is red. If someone needs the bear and they do not eat the dog then the dog chases the bear.
The bear chases the dog.
("bear" "chases" "dog" "+")
The bear is red.
("bear" "is" "red" "+")
The bear is round.
("bear" "is" "round" "+")
The bear needs the dog.
("bear" "needs" "dog" "+")
The dog chases the bear.
("dog" "chases" "bear" "+")
The dog eats the bear.
("dog" "eats" "bear" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog is round.
("dog" "is" "round" "+")
The dog is young.
("dog" "is" "young" "+")
The dog needs the bear.
("dog" "needs" "bear" "+")
If someone is kind then they need the bear.
((("someone" "is" "kind" "+")) -> ("someone" "needs" "bear" "+"))
If the bear is kind then the bear does not need the dog.
((("bear" "is" "kind" "+")) -> ("bear" "needs" "dog" "-"))
If the dog eats the bear then the bear eats the dog.
((("dog" "eats" "bear" "+")) -> ("bear" "eats" "dog" "+"))
If someone is red then they eat the dog.
((("someone" "is" "red" "+")) -> ("someone" "eats" "dog" "+"))
If the dog does not need the bear then the dog is young.
((("dog" "needs" "bear" "~")) -> ("dog" "is" "young" "+"))
If someone chases the dog and they are red then the dog is nice.
((("someone" "chases" "dog" "+") ("someone" "is" "red" "+")) -> ("dog" "is" "nice" "+"))
If someone is young and they eat the dog then the dog is red.
((("someone" "is" "young" "+") ("someone" "eats" "dog" "+")) -> ("dog" "is" "red" "+"))
If someone needs the bear and they do not eat the dog then the dog chases the bear.
((("someone" "needs" "bear" "+") ("someone" "eats" "dog" "~")) -> ("dog" "chases" "bear" "+"))
The bear chases the dog.
True
1
proof
[(triple1)]
("bear" "chases" "dog" "+")
triple1
The bear does not need the dog.
False
1
inv-proof
[(triple4)]
("bear" "needs" "dog" "-")
triple4
The bear eats the dog.
True
2
proof
[(((triple2) -> rule4) OR ((triple6) -> rule3))]
("bear" "eats" "dog" "+")
((triple2) -> (rule4 % int1))
The bear eats the dog.
("bear" "eats" "dog" "+")
int1
((triple6) -> (rule3 % int1))
The bear eats the dog.
("bear" "eats" "dog" "+")
int1
The bear does not eat the dog.
False
2
inv-proof
[(((triple2) -> rule4) OR ((triple6) -> rule3))]
("bear" "eats" "dog" "-")
((triple2) -> (rule4 % int1))
The bear eats the dog.
("bear" "eats" "dog" "+")
int1
((triple6) -> (rule3 % int1))
The bear eats the dog.
("bear" "eats" "dog" "+")
int1
The bear does not need the bear.
Unknown
inv-rconc
[@1: The bear needs the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "needs" "bear" "-")
The dog eats the dog.
Unknown
rconc
[@2: The dog eats the dog.[CWA. Example of deepest failure = (rule4 <- rule7 <- FAIL)]]
("dog" "eats" "dog" "+")
The dog is not kind.
Unknown
inv-random
[@0: The dog is kind.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "kind" "-")
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 chases the dog.[(triple1)] The bear is red.[(triple2)] The bear is round.[(triple3)] The bear needs the dog.[(triple4)] The dog chases the bear.[(triple5)] The dog eats the bear.[(triple6)] The dog is nice.[(triple7 OR ((triple1 triple2) -> rule6))] The dog is round.[(triple8)] The dog is young.[(triple9)] The dog needs the bear.[(triple10)] @1: The bear eats the dog.[(((triple2) -> rule4) OR ((triple6) -> rule3))]
The bear chases the dog.
("bear" "chases" "dog" "+")
triple1
The bear is red.
("bear" "is" "red" "+")
triple2
The bear is round.
("bear" "is" "round" "+")
triple3
The bear needs the dog.
("bear" "needs" "dog" "+")
triple4
The dog chases the bear.
("dog" "chases" "bear" "+")
triple5
The dog eats the bear.
("dog" "eats" "bear" "+")
triple6
The dog is nice.
("dog" "is" "nice" "+")
triple7
((triple1 triple2) -> (rule6 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The dog is round.
("dog" "is" "round" "+")
triple8
The dog is young.
("dog" "is" "young" "+")
triple9
The dog needs the bear.
("dog" "needs" "bear" "+")
triple10
The bear eats the dog.
("bear" "eats" "dog" "+")
((triple2) -> (rule4 % int1))
The bear eats the dog.
("bear" "eats" "dog" "+")
int1
((triple6) -> (rule3 % int1))
The bear eats the dog.
("bear" "eats" "dog" "+")
int1