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