The bear chases the dog. The bear is kind. The bear needs the cat. The bear needs the dog. The cat does not chase the bear. The cat chases the dog. The dog is nice. If the bear is not kind and the bear is not big then the bear needs the cat. If someone is big then they do not like the dog. If someone chases the cat and they do not chase the dog then the dog chases the bear. If someone chases the dog and they do not chase the bear then the dog is kind. If someone is round then they need the cat. If someone is kind and they need the dog then they are round.
The bear chases the dog.
("bear" "chases" "dog" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear needs the cat.
("bear" "needs" "cat" "+")
The bear needs the dog.
("bear" "needs" "dog" "+")
The cat does not chase the bear.
("cat" "chases" "bear" "-")
The cat chases the dog.
("cat" "chases" "dog" "+")
The dog is nice.
("dog" "is" "nice" "+")
If the bear is not kind and the bear is not big then the bear needs the cat.
((("bear" "is" "kind" "~") ("bear" "is" "big" "~")) -> ("bear" "needs" "cat" "+"))
If someone is big then they do not like the dog.
((("someone" "is" "big" "+")) -> ("someone" "likes" "dog" "-"))
If someone chases the cat and they do not chase the dog then the dog chases the bear.
((("someone" "chases" "cat" "+") ("someone" "chases" "dog" "~")) -> ("dog" "chases" "bear" "+"))
If someone chases the dog and they do not chase the bear then the dog is kind.
((("someone" "chases" "dog" "+") ("someone" "chases" "bear" "~")) -> ("dog" "is" "kind" "+"))
If someone is round then they need the cat.
((("someone" "is" "round" "+")) -> ("someone" "needs" "cat" "+"))
If someone is kind and they need the dog then they are round.
((("someone" "is" "kind" "+") ("someone" "needs" "dog" "+")) -> ("someone" "is" "round" "+"))
The bear needs the cat.
True
1
proof
[(triple3 OR ((((triple2 triple4) -> rule6)) -> rule5))]
("bear" "needs" "cat" "+")
triple3
((((triple2 triple4) -> (rule6 % int2))) -> (rule5 % int1))
The bear needs the cat.
("bear" "needs" "cat" "+")
int1
The bear is round.
("bear" "is" "round" "+")
int2
The bear does not need the dog.
False
1
inv-proof
[(triple4)]
("bear" "needs" "dog" "-")
triple4
The dog is kind.
True
3
proof
[(((triple6 triple5) -> rule4))]
("dog" "is" "kind" "+")
((triple6 triple5) -> (rule4 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The dog is not kind.
False
3
inv-proof
[(((triple6 triple5) -> rule4))]
("dog" "is" "kind" "-")
((triple6 triple5) -> (rule4 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The dog does not need the cat.
Unknown
inv-rconc
[@2: The dog needs the cat.[CWA. Example of deepest failure = (rule5 <- rule6 <- FAIL)]]
("dog" "needs" "cat" "-")
The dog chases the bear.
Unknown
rconc
[@1: The dog chases the bear.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("dog" "chases" "bear" "+")
The bear does not like the cat.
Unknown
inv-random
[@0: The bear likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "cat" "-")
The bear likes the bear.
Unknown
random
[@0: The bear likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bear" "+")
@0: The bear chases the dog.[(triple1)] The bear is kind.[(triple2)] The bear needs the cat.[(triple3 OR ((((triple2 triple4) -> rule6)) -> rule5))] The bear needs the dog.[(triple4)] The cat chases the dog.[(triple6)] The cat does not chase the bear.[(triple5)] The dog is nice.[(triple7)] @1: The bear is round.[(((triple2 triple4) -> rule6))] The dog is kind.[(((triple6 triple5) -> rule4))]
The bear chases the dog.
("bear" "chases" "dog" "+")
triple1
The bear is kind.
("bear" "is" "kind" "+")
triple2
The bear needs the cat.
("bear" "needs" "cat" "+")
triple3
((((triple2 triple4) -> (rule6 % int2))) -> (rule5 % int1))
The bear needs the cat.
("bear" "needs" "cat" "+")
int1
The bear is round.
("bear" "is" "round" "+")
int2
The bear needs the dog.
("bear" "needs" "dog" "+")
triple4
The cat chases the dog.
("cat" "chases" "dog" "+")
triple6
The cat does not chase the bear.
("cat" "chases" "bear" "-")
triple5
The dog is nice.
("dog" "is" "nice" "+")
triple7
The bear is round.
("bear" "is" "round" "+")
((triple2 triple4) -> (rule6 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The dog is kind.
("dog" "is" "kind" "+")
((triple6 triple5) -> (rule4 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1