The cat eats the dog. The cat is green. The cat is nice. The cat sees the dog. The cat visits the dog. The dog eats the cat. The dog is nice. The dog is rough. The dog sees the cat. The dog visits the cat. If someone sees the dog then they eat the cat. If someone visits the cat then they eat the dog. If the cat visits the dog then the cat is green.
The cat eats the dog.
("cat" "eats" "dog" "+")
The cat is green.
("cat" "is" "green" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cat sees the dog.
("cat" "sees" "dog" "+")
The cat visits the dog.
("cat" "visits" "dog" "+")
The dog eats the cat.
("dog" "eats" "cat" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog is rough.
("dog" "is" "rough" "+")
The dog sees the cat.
("dog" "sees" "cat" "+")
The dog visits the cat.
("dog" "visits" "cat" "+")
If someone sees the dog then they eat the cat.
((("someone" "sees" "dog" "+")) -> ("someone" "eats" "cat" "+"))
If someone visits the cat then they eat the dog.
((("someone" "visits" "cat" "+")) -> ("someone" "eats" "dog" "+"))
If the cat visits the dog then the cat is green.
((("cat" "visits" "dog" "+")) -> ("cat" "is" "green" "+"))
The dog eats the cat.
True
1
proof
[(triple6)]
("dog" "eats" "cat" "+")
triple6
The dog is not nice.
False
1
inv-proof
[(triple7)]
("dog" "is" "nice" "-")
triple7
The dog does not visit the dog.
Unknown
inv-random
[@0: The dog visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "dog" "-")
The cat is cold.
Unknown
random
[@0: The cat is cold.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "cold" "+")
@0: The cat eats the dog.[(triple1)] The cat is green.[(triple2 OR ((triple5) -> rule3))] The cat is nice.[(triple3)] The cat sees the dog.[(triple4)] The cat visits the dog.[(triple5)] The dog eats the cat.[(triple6)] The dog is nice.[(triple7)] The dog is rough.[(triple8)] The dog sees the cat.[(triple9)] The dog visits the cat.[(triple10)] @1: The cat eats the cat.[(((triple4) -> rule1))] The dog eats the dog.[(((triple10) -> rule2))]
The cat eats the dog.
("cat" "eats" "dog" "+")
triple1
The cat is green.
("cat" "is" "green" "+")
triple2
((triple5) -> (rule3 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The cat is nice.
("cat" "is" "nice" "+")
triple3
The cat sees the dog.
("cat" "sees" "dog" "+")
triple4
The cat visits the dog.
("cat" "visits" "dog" "+")
triple5
The dog eats the cat.
("dog" "eats" "cat" "+")
triple6
The dog is nice.
("dog" "is" "nice" "+")
triple7
The dog is rough.
("dog" "is" "rough" "+")
triple8
The dog sees the cat.
("dog" "sees" "cat" "+")
triple9
The dog visits the cat.
("dog" "visits" "cat" "+")
triple10
The cat eats the cat.
("cat" "eats" "cat" "+")
((triple4) -> (rule1 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1
The dog eats the dog.
("dog" "eats" "dog" "+")
((triple10) -> (rule2 % int1))
The dog eats the dog.
("dog" "eats" "dog" "+")
int1