The cat chases the dog. The cat eats the dog. The cat is big. The cat is rough. The dog chases the cat. The dog eats the cat. The dog is big. The dog is blue. The dog is rough. The dog sees the cat. If someone chases the cat and the cat is blue then they eat the cat. If the dog is big and the dog chases the cat then the dog is young.
The cat chases the dog.
("cat" "chases" "dog" "+")
The cat eats the dog.
("cat" "eats" "dog" "+")
The cat is big.
("cat" "is" "big" "+")
The cat is rough.
("cat" "is" "rough" "+")
The dog chases the cat.
("dog" "chases" "cat" "+")
The dog eats the cat.
("dog" "eats" "cat" "+")
The dog is big.
("dog" "is" "big" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog is rough.
("dog" "is" "rough" "+")
The dog sees the cat.
("dog" "sees" "cat" "+")
If someone chases the cat and the cat is blue then they eat the cat.
((("someone" "chases" "cat" "+") ("cat" "is" "blue" "+")) -> ("someone" "eats" "cat" "+"))
If the dog is big and the dog chases the cat then the dog is young.
((("dog" "is" "big" "+") ("dog" "chases" "cat" "+")) -> ("dog" "is" "young" "+"))
The dog is rough.
True
1
proof
[(triple9)]
("dog" "is" "rough" "+")
triple9
The dog does not see the cat.
False
1
inv-proof
[(triple10)]
("dog" "sees" "cat" "-")
triple10
The cat does not eat the cat.
Unknown
inv-rconc
[@1: The cat eats the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "eats" "cat" "-")
The cat is round.
Unknown
random
[@0: The cat is round.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "round" "+")
@0: The cat chases the dog.[(triple1)] The cat eats the dog.[(triple2)] The cat is big.[(triple3)] The cat is rough.[(triple4)] The dog chases the cat.[(triple5)] The dog eats the cat.[(triple6)] The dog is big.[(triple7)] The dog is blue.[(triple8)] The dog is rough.[(triple9)] The dog sees the cat.[(triple10)] @1: The dog is young.[(((triple7 triple5) -> rule2))]
The cat chases the dog.
("cat" "chases" "dog" "+")
triple1
The cat eats the dog.
("cat" "eats" "dog" "+")
triple2
The cat is big.
("cat" "is" "big" "+")
triple3
The cat is rough.
("cat" "is" "rough" "+")
triple4
The dog chases the cat.
("dog" "chases" "cat" "+")
triple5
The dog eats the cat.
("dog" "eats" "cat" "+")
triple6
The dog is big.
("dog" "is" "big" "+")
triple7
The dog is blue.
("dog" "is" "blue" "+")
triple8
The dog is rough.
("dog" "is" "rough" "+")
triple9
The dog sees the cat.
("dog" "sees" "cat" "+")
triple10
The dog is young.
("dog" "is" "young" "+")
((triple7 triple5) -> (rule2 % int1))
The dog is young.
("dog" "is" "young" "+")
int1