The cat eats the dog. The cat is big. The cat needs the cow. The cat sees the cow. The cow is kind. The cow needs the cat. The cow needs the dog. The cow sees the cat. The dog eats the cow. The dog needs the cat. If something is kind and round then it eats the cat. If something is kind and it needs the dog then it is round. If something sees the cat and it is young then the cat sees the dog.
The cat eats the dog.
("cat" "eats" "dog" "+")
The cat is big.
("cat" "is" "big" "+")
The cat needs the cow.
("cat" "needs" "cow" "+")
The cat sees the cow.
("cat" "sees" "cow" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow needs the cat.
("cow" "needs" "cat" "+")
The cow needs the dog.
("cow" "needs" "dog" "+")
The cow sees the cat.
("cow" "sees" "cat" "+")
The dog eats the cow.
("dog" "eats" "cow" "+")
The dog needs the cat.
("dog" "needs" "cat" "+")
If something is kind and round then it eats the cat.
((("something" "is" "kind" "+") ("something" "is" "round" "+")) -> ("something" "eats" "cat" "+"))
If something is kind and it needs the dog then it is round.
((("something" "is" "kind" "+") ("something" "needs" "dog" "+")) -> ("something" "is" "round" "+"))
If something sees the cat and it is young then the cat sees the dog.
((("something" "sees" "cat" "+") ("something" "is" "young" "+")) -> ("cat" "sees" "dog" "+"))
The cow is kind.
True
1
proof
[(triple5)]
("cow" "is" "kind" "+")
triple5
The dog does not eat the cow.
False
1
inv-proof
[(triple9)]
("dog" "eats" "cow" "-")
triple9
The cow is round.
True
3
proof
[(((triple5 triple7) -> rule2))]
("cow" "is" "round" "+")
((triple5 triple7) -> (rule2 % int1))
The cow is round.
("cow" "is" "round" "+")
int1
The cow is not round.
False
3
inv-proof
[(((triple5 triple7) -> rule2))]
("cow" "is" "round" "-")
((triple5 triple7) -> (rule2 % int1))
The cow is round.
("cow" "is" "round" "+")
int1
The cow eats the cat.
True
5
proof
[(((triple5 ((triple5 triple7) -> rule2)) -> rule1))]
("cow" "eats" "cat" "+")
((triple5 ((triple5 triple7) -> (rule2 % int2))) -> (rule1 % int1))
The cow eats the cat.
("cow" "eats" "cat" "+")
int1
The cow is round.
("cow" "is" "round" "+")
int2
The cow does not eat the cat.
False
5
inv-proof
[(((triple5 ((triple5 triple7) -> rule2)) -> rule1))]
("cow" "eats" "cat" "-")
((triple5 ((triple5 triple7) -> (rule2 % int2))) -> (rule1 % int1))
The cow eats the cat.
("cow" "eats" "cat" "+")
int1
The cow is round.
("cow" "is" "round" "+")
int2
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 dog is round.
Unknown
rconc
[@1: The dog is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "is" "round" "+")
The cat is not round.
Unknown
inv-rconc
[@1: The cat is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "is" "round" "-")
The dog sees the cow.
Unknown
random
[@0: The dog sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "cow" "+")
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 cow is young.
Unknown
random
[@0: The cow is young.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "young" "+")
@0: The cat eats the dog.[(triple1)] The cat is big.[(triple2)] The cat needs the cow.[(triple3)] The cat sees the cow.[(triple4)] The cow is kind.[(triple5)] The cow needs the cat.[(triple6)] The cow needs the dog.[(triple7)] The cow sees the cat.[(triple8)] The dog eats the cow.[(triple9)] The dog needs the cat.[(triple10)] @1: The cow is round.[(((triple5 triple7) -> rule2))] @2: The cow eats the cat.[(((triple5 ((triple5 triple7) -> rule2)) -> rule1))]
The cat eats the dog.
("cat" "eats" "dog" "+")
triple1
The cat is big.
("cat" "is" "big" "+")
triple2
The cat needs the cow.
("cat" "needs" "cow" "+")
triple3
The cat sees the cow.
("cat" "sees" "cow" "+")
triple4
The cow is kind.
("cow" "is" "kind" "+")
triple5
The cow needs the cat.
("cow" "needs" "cat" "+")
triple6
The cow needs the dog.
("cow" "needs" "dog" "+")
triple7
The cow sees the cat.
("cow" "sees" "cat" "+")
triple8
The dog eats the cow.
("dog" "eats" "cow" "+")
triple9
The dog needs the cat.
("dog" "needs" "cat" "+")
triple10
The cow is round.
("cow" "is" "round" "+")
((triple5 triple7) -> (rule2 % int1))
The cow is round.
("cow" "is" "round" "+")
int1
The cow eats the cat.
("cow" "eats" "cat" "+")
((triple5 ((triple5 triple7) -> (rule2 % int2))) -> (rule1 % int1))
The cow eats the cat.
("cow" "eats" "cat" "+")
int1
The cow is round.
("cow" "is" "round" "+")
int2