The dog eats the squirrel. The dog is nice. The squirrel likes the dog. If something eats the squirrel then the squirrel is kind.
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
The dog is nice.
("dog" "is" "nice" "+")
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
If something eats the squirrel then the squirrel is kind.
((("something" "eats" "squirrel" "+")) -> ("squirrel" "is" "kind" "+"))
The dog is nice.
True
1
proof
[(triple2)]
("dog" "is" "nice" "+")
triple2
The squirrel does not like the dog.
False
1
inv-proof
[(triple3)]
("squirrel" "likes" "dog" "-")
triple3
The squirrel is kind.
True
2
proof
[(((triple1) -> rule1))]
("squirrel" "is" "kind" "+")
((triple1) -> (rule1 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The squirrel is not kind.
False
2
inv-proof
[(((triple1) -> rule1))]
("squirrel" "is" "kind" "-")
((triple1) -> (rule1 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The squirrel does not eat the dog.
Unknown
inv-random
[@0: The squirrel eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "dog" "-")
The dog visits the squirrel.
Unknown
random
[@0: The dog visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "squirrel" "+")
The dog is not rough.
Unknown
inv-random
[@0: The dog is rough.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "rough" "-")
The squirrel likes the squirrel.
Unknown
random
[@0: The squirrel likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "squirrel" "+")
@0: The dog eats the squirrel.[(triple1)] The dog is nice.[(triple2)] The squirrel likes the dog.[(triple3)] @1: The squirrel is kind.[(((triple1) -> rule1))]
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
triple1
The dog is nice.
("dog" "is" "nice" "+")
triple2
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
triple3
The squirrel is kind.
("squirrel" "is" "kind" "+")
((triple1) -> (rule1 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1