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