The cat is red. The cat needs the dog. The dog is nice. The dog is rough. The dog needs the cat. The lion does not eat the dog. The lion is red. The lion needs the cat. The lion visits the cat. The lion visits the dog. If the cat needs the dog then the dog eats the cat.
The cat is red.
("cat" "is" "red" "+")
The cat needs the dog.
("cat" "needs" "dog" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog is rough.
("dog" "is" "rough" "+")
The dog needs the cat.
("dog" "needs" "cat" "+")
The lion does not eat the dog.
("lion" "eats" "dog" "-")
The lion is red.
("lion" "is" "red" "+")
The lion needs the cat.
("lion" "needs" "cat" "+")
The lion visits the cat.
("lion" "visits" "cat" "+")
The lion visits the dog.
("lion" "visits" "dog" "+")
If the cat needs the dog then the dog eats the cat.
((("cat" "needs" "dog" "+")) -> ("dog" "eats" "cat" "+"))
The lion does not eat the dog.
True
1
proof
[(triple6)]
("lion" "eats" "dog" "-")
triple6
The lion does not visit the cat.
False
1
inv-proof
[(triple9)]
("lion" "visits" "cat" "-")
triple9
The dog eats the cat.
True
2
proof
[(((triple2) -> rule1))]
("dog" "eats" "cat" "+")
((triple2) -> (rule1 % int1))
The dog eats the cat.
("dog" "eats" "cat" "+")
int1
The dog does not eat the cat.
False
2
inv-proof
[(((triple2) -> rule1))]
("dog" "eats" "cat" "-")
((triple2) -> (rule1 % int1))
The dog eats the cat.
("dog" "eats" "cat" "+")
int1
The dog does not need the dog.
Unknown
inv-random
[@0: The dog needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "dog" "-")
The dog eats the dog.
Unknown
random
[@0: The dog eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "dog" "+")
The lion is not big.
Unknown
inv-random
[@0: The lion is big.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "big" "-")
The dog needs the lion.
Unknown
random
[@0: The dog needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "lion" "+")
@0: The cat is red.[(triple1)] The cat needs the dog.[(triple2)] The dog is nice.[(triple3)] The dog is rough.[(triple4)] The dog needs the cat.[(triple5)] The lion does not eat the dog.[(triple6)] The lion is red.[(triple7)] The lion needs the cat.[(triple8)] The lion visits the cat.[(triple9)] The lion visits the dog.[(triple10)] @1: The dog eats the cat.[(((triple2) -> rule1))]
The cat is red.
("cat" "is" "red" "+")
triple1
The cat needs the dog.
("cat" "needs" "dog" "+")
triple2
The dog is nice.
("dog" "is" "nice" "+")
triple3
The dog is rough.
("dog" "is" "rough" "+")
triple4
The dog needs the cat.
("dog" "needs" "cat" "+")
triple5
The lion does not eat the dog.
("lion" "eats" "dog" "-")
triple6
The lion is red.
("lion" "is" "red" "+")
triple7
The lion needs the cat.
("lion" "needs" "cat" "+")
triple8
The lion visits the cat.
("lion" "visits" "cat" "+")
triple9
The lion visits the dog.
("lion" "visits" "dog" "+")
triple10
The dog eats the cat.
("dog" "eats" "cat" "+")
((triple2) -> (rule1 % int1))
The dog eats the cat.
("dog" "eats" "cat" "+")
int1