The bear is young. The cat is green. The dog is kind. The squirrel is cold. If the cat is green then the cat is young. If someone likes the dog then the dog likes the squirrel. If someone needs the bear and they do not eat the bear then they do not eat the dog.
The bear is young.
("bear" "is" "young" "+")
The cat is green.
("cat" "is" "green" "+")
The dog is kind.
("dog" "is" "kind" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
If the cat is green then the cat is young.
((("cat" "is" "green" "+")) -> ("cat" "is" "young" "+"))
If someone likes the dog then the dog likes the squirrel.
((("someone" "likes" "dog" "+")) -> ("dog" "likes" "squirrel" "+"))
If someone needs the bear and they do not eat the bear then they do not eat the dog.
((("someone" "needs" "bear" "+") ("someone" "eats" "bear" "~")) -> ("someone" "eats" "dog" "-"))
The squirrel is cold.
True
1
proof
[(triple4)]
("squirrel" "is" "cold" "+")
triple4
The dog is not kind.
False
1
inv-proof
[(triple3)]
("dog" "is" "kind" "-")
triple3
The cat is young.
True
2
proof
[(((triple2) -> rule1))]
("cat" "is" "young" "+")
((triple2) -> (rule1 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
The cat is not young.
False
2
inv-proof
[(((triple2) -> rule1))]
("cat" "is" "young" "-")
((triple2) -> (rule1 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
The dog does not like the squirrel.
Unknown
inv-rconc
[@1: The dog likes the squirrel.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "likes" "squirrel" "-")
The dog eats the dog.
Unknown
random
[@0: The dog eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "dog" "+")
The cat does not like the cat.
Unknown
inv-random
[@0: The cat likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "cat" "-")
The squirrel needs the bear.
Unknown
random
[@0: The squirrel needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "bear" "+")
@0: The bear is young.[(triple1)] The cat is green.[(triple2)] The dog is kind.[(triple3)] The squirrel is cold.[(triple4)] @1: The cat is young.[(((triple2) -> rule1))]
The bear is young.
("bear" "is" "young" "+")
triple1
The cat is green.
("cat" "is" "green" "+")
triple2
The dog is kind.
("dog" "is" "kind" "+")
triple3
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple4
The cat is young.
("cat" "is" "young" "+")
((triple2) -> (rule1 % int1))
The cat is young.
("cat" "is" "young" "+")
int1