The cat chases the dog. The cat eats the dog. The cow chases the cat. The cow chases the dog. The cow is rough. The dog chases the cow. The dog eats the cat. The dog eats the cow. The dog is red. The dog sees the cow. If something chases the cat then the cat is green. If something eats the cow and it chases the dog then it sees the cow. If something eats the dog then it sees the cow. If something is round then it chases the dog. If something sees the cow then it is rough. If the cat is young then the cat eats the cow.
The cat chases the dog.
("cat" "chases" "dog" "+")
The cat eats the dog.
("cat" "eats" "dog" "+")
The cow chases the cat.
("cow" "chases" "cat" "+")
The cow chases the dog.
("cow" "chases" "dog" "+")
The cow is rough.
("cow" "is" "rough" "+")
The dog chases the cow.
("dog" "chases" "cow" "+")
The dog eats the cat.
("dog" "eats" "cat" "+")
The dog eats the cow.
("dog" "eats" "cow" "+")
The dog is red.
("dog" "is" "red" "+")
The dog sees the cow.
("dog" "sees" "cow" "+")
If something chases the cat then the cat is green.
((("something" "chases" "cat" "+")) -> ("cat" "is" "green" "+"))
If something eats the cow and it chases the dog then it sees the cow.
((("something" "eats" "cow" "+") ("something" "chases" "dog" "+")) -> ("something" "sees" "cow" "+"))
If something eats the dog then it sees the cow.
((("something" "eats" "dog" "+")) -> ("something" "sees" "cow" "+"))
If something is round then it chases the dog.
((("something" "is" "round" "+")) -> ("something" "chases" "dog" "+"))
If something sees the cow then it is rough.
((("something" "sees" "cow" "+")) -> ("something" "is" "rough" "+"))
If the cat is young then the cat eats the cow.
((("cat" "is" "young" "+")) -> ("cat" "eats" "cow" "+"))
The dog chases the cow.
True
1
proof
[(triple6)]
("dog" "chases" "cow" "+")
triple6
The dog does not chase the cow.
False
1
inv-proof
[(triple6)]
("dog" "chases" "cow" "-")
triple6
The cat is green.
True
2
proof
[(((triple3) -> rule1))]
("cat" "is" "green" "+")
((triple3) -> (rule1 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The cat is not green.
False
2
inv-proof
[(((triple3) -> rule1))]
("cat" "is" "green" "-")
((triple3) -> (rule1 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The cat is rough.
True
3
proof
[(((((triple2) -> rule3)) -> rule5))]
("cat" "is" "rough" "+")
((((triple2) -> (rule3 % int2))) -> (rule5 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat sees the cow.
("cat" "sees" "cow" "+")
int2
The cat is not rough.
False
3
inv-proof
[(((((triple2) -> rule3)) -> rule5))]
("cat" "is" "rough" "-")
((((triple2) -> (rule3 % int2))) -> (rule5 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat sees the cow.
("cat" "sees" "cow" "+")
int2
The cat does not eat the cow.
Unknown
inv-rconc
[@1: The cat eats the cow.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("cat" "eats" "cow" "-")
The cow sees the cow.
Unknown
rconc
[@1: The cow sees the cow.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "sees" "cow" "+")
The dog does not chase the dog.
Unknown
inv-rconc
[@1: The dog chases the dog.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("dog" "chases" "dog" "-")
The dog is round.
Unknown
random
[@0: The dog is round.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "round" "+")
The dog does not see the cat.
Unknown
inv-random
[@0: The dog sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "cat" "-")
The cow is green.
Unknown
random
[@0: The cow is green.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "green" "+")
@0: The cat chases the dog.[(triple1)] The cat eats the dog.[(triple2)] The cow chases the cat.[(triple3)] The cow chases the dog.[(triple4)] The cow is rough.[(triple5)] The dog chases the cow.[(triple6)] The dog eats the cat.[(triple7)] The dog eats the cow.[(triple8)] The dog is red.[(triple9)] The dog sees the cow.[(triple10)] @1: The cat is green.[(((triple3) -> rule1))] The cat sees the cow.[(((triple2) -> rule3))] The dog is rough.[(((triple10) -> rule5))] @2: The cat is rough.[(((((triple2) -> rule3)) -> rule5))]
The cat chases the dog.
("cat" "chases" "dog" "+")
triple1
The cat eats the dog.
("cat" "eats" "dog" "+")
triple2
The cow chases the cat.
("cow" "chases" "cat" "+")
triple3
The cow chases the dog.
("cow" "chases" "dog" "+")
triple4
The cow is rough.
("cow" "is" "rough" "+")
triple5
The dog chases the cow.
("dog" "chases" "cow" "+")
triple6
The dog eats the cat.
("dog" "eats" "cat" "+")
triple7
The dog eats the cow.
("dog" "eats" "cow" "+")
triple8
The dog is red.
("dog" "is" "red" "+")
triple9
The dog sees the cow.
("dog" "sees" "cow" "+")
triple10
The cat is green.
("cat" "is" "green" "+")
((triple3) -> (rule1 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The cat sees the cow.
("cat" "sees" "cow" "+")
((triple2) -> (rule3 % int1))
The cat sees the cow.
("cat" "sees" "cow" "+")
int1
The dog is rough.
("dog" "is" "rough" "+")
((triple10) -> (rule5 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
((((triple2) -> (rule3 % int2))) -> (rule5 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat sees the cow.
("cat" "sees" "cow" "+")
int2