The bear does not eat the cat. The bear does not eat the cow. The bear needs the cow. The bear needs the dog. The cat eats the bear. The cat eats the cow. The cat needs the cow. The cow is young. The dog needs the cat. The dog needs the cow. All kind things are nice. If something needs the dog then the dog is kind.
The bear does not eat the cat.
("bear" "eats" "cat" "-")
The bear does not eat the cow.
("bear" "eats" "cow" "-")
The bear needs the cow.
("bear" "needs" "cow" "+")
The bear needs the dog.
("bear" "needs" "dog" "+")
The cat eats the bear.
("cat" "eats" "bear" "+")
The cat eats the cow.
("cat" "eats" "cow" "+")
The cat needs the cow.
("cat" "needs" "cow" "+")
The cow is young.
("cow" "is" "young" "+")
The dog needs the cat.
("dog" "needs" "cat" "+")
The dog needs the cow.
("dog" "needs" "cow" "+")
All kind things are nice.
((("something" "is" "kind" "+")) -> ("something" "is" "nice" "+"))
If something needs the dog then the dog is kind.
((("something" "needs" "dog" "+")) -> ("dog" "is" "kind" "+"))
The cat eats the cow.
True
1
proof
[(triple6)]
("cat" "eats" "cow" "+")
triple6
The bear eats the cow.
False
1
inv-proof
[(triple2)]
("bear" "eats" "cow" "+")
triple2
The dog is kind.
True
2
proof
[(((triple4) -> rule2))]
("dog" "is" "kind" "+")
((triple4) -> (rule2 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The dog is not kind.
False
2
inv-proof
[(((triple4) -> rule2))]
("dog" "is" "kind" "-")
((triple4) -> (rule2 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The dog is nice.
True
3
proof
[(((((triple4) -> rule2)) -> rule1))]
("dog" "is" "nice" "+")
((((triple4) -> (rule2 % int2))) -> (rule1 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The dog is kind.
("dog" "is" "kind" "+")
int2
The dog is not nice.
False
3
inv-proof
[(((((triple4) -> rule2)) -> rule1))]
("dog" "is" "nice" "-")
((((triple4) -> (rule2 % int2))) -> (rule1 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The dog is kind.
("dog" "is" "kind" "+")
int2
The cat is not nice.
Unknown
inv-rconc
[@1: The cat is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "is" "nice" "-")
The bear is nice.
Unknown
rconc
[@1: The bear is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "is" "nice" "+")
The cow is not nice.
Unknown
inv-rconc
[@1: The cow is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "is" "nice" "-")
The cow is kind.
Unknown
random
[@0: The cow is kind.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "kind" "+")
The cat does not visit the cat.
Unknown
inv-random
[@0: The cat visits the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "cat" "-")
The dog eats the cow.
Unknown
random
[@0: The dog eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "cow" "+")
@0: The bear does not eat the cat.[(triple1)] The bear does not eat the cow.[(triple2)] The bear needs the cow.[(triple3)] The bear needs the dog.[(triple4)] The cat eats the bear.[(triple5)] The cat eats the cow.[(triple6)] The cat needs the cow.[(triple7)] The cow is young.[(triple8)] The dog needs the cat.[(triple9)] The dog needs the cow.[(triple10)] @1: The dog is kind.[(((triple4) -> rule2))] @2: The dog is nice.[(((((triple4) -> rule2)) -> rule1))]
The bear does not eat the cat.
("bear" "eats" "cat" "-")
triple1
The bear does not eat the cow.
("bear" "eats" "cow" "-")
triple2
The bear needs the cow.
("bear" "needs" "cow" "+")
triple3
The bear needs the dog.
("bear" "needs" "dog" "+")
triple4
The cat eats the bear.
("cat" "eats" "bear" "+")
triple5
The cat eats the cow.
("cat" "eats" "cow" "+")
triple6
The cat needs the cow.
("cat" "needs" "cow" "+")
triple7
The cow is young.
("cow" "is" "young" "+")
triple8
The dog needs the cat.
("dog" "needs" "cat" "+")
triple9
The dog needs the cow.
("dog" "needs" "cow" "+")
triple10
The dog is kind.
("dog" "is" "kind" "+")
((triple4) -> (rule2 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
((((triple4) -> (rule2 % int2))) -> (rule1 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The dog is kind.
("dog" "is" "kind" "+")
int2