The cat eats the cow. The cat eats the dog. The cat is kind. The cat is young. The cat does not need the dog. The cat sees the cow. The cow eats the dog. The cow is young. The cow needs the cat. The cow needs the dog. The cow sees the rabbit. The dog is not green. The rabbit does not eat the dog. The rabbit is green. The rabbit is red. The rabbit needs the cow. If someone needs the cat then they see the dog. If the cow is red and the cow is kind then the cow is big.
The cat eats the cow.
("cat" "eats" "cow" "+")
The cat eats the dog.
("cat" "eats" "dog" "+")
The cat is kind.
("cat" "is" "kind" "+")
The cat is young.
("cat" "is" "young" "+")
The cat does not need the dog.
("cat" "needs" "dog" "-")
The cat sees the cow.
("cat" "sees" "cow" "+")
The cow eats the dog.
("cow" "eats" "dog" "+")
The cow is young.
("cow" "is" "young" "+")
The cow needs the cat.
("cow" "needs" "cat" "+")
The cow needs the dog.
("cow" "needs" "dog" "+")
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
The dog is not green.
("dog" "is" "green" "-")
The rabbit does not eat the dog.
("rabbit" "eats" "dog" "-")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
If someone needs the cat then they see the dog.
((("someone" "needs" "cat" "+")) -> ("someone" "sees" "dog" "+"))
If the cow is red and the cow is kind then the cow is big.
((("cow" "is" "red" "+") ("cow" "is" "kind" "+")) -> ("cow" "is" "big" "+"))
The rabbit is green.
True
1
proof
[(triple14)]
("rabbit" "is" "green" "+")
triple14
The cow does not eat the dog.
False
1
inv-proof
[(triple7)]
("cow" "eats" "dog" "-")
triple7
The cow sees the dog.
True
2
proof
[(((triple9) -> rule1))]
("cow" "sees" "dog" "+")
((triple9) -> (rule1 % int1))
The cow sees the dog.
("cow" "sees" "dog" "+")
int1
The cow does not see the dog.
False
2
inv-proof
[(((triple9) -> rule1))]
("cow" "sees" "dog" "-")
((triple9) -> (rule1 % int1))
The cow sees the dog.
("cow" "sees" "dog" "+")
int1
The cow is not big.
Unknown
inv-rconc
[@1: The cow is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "is" "big" "-")
The cat sees the dog.
Unknown
rconc
[@1: The cat sees the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "sees" "dog" "+")
The dog does not see the cow.
Unknown
inv-random
[@0: The dog sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "cow" "-")
The dog needs the rabbit.
Unknown
random
[@0: The dog needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "rabbit" "+")
@0: The cat does not need the dog.[(triple5)] The cat eats the cow.[(triple1)] The cat eats the dog.[(triple2)] The cat is kind.[(triple3)] The cat is young.[(triple4)] The cat sees the cow.[(triple6)] The cow eats the dog.[(triple7)] The cow is young.[(triple8)] The cow needs the cat.[(triple9)] The cow needs the dog.[(triple10)] The cow sees the rabbit.[(triple11)] The dog is not green.[(triple12)] The rabbit does not eat the dog.[(triple13)] The rabbit is green.[(triple14)] The rabbit is red.[(triple15)] The rabbit needs the cow.[(triple16)] @1: The cow sees the dog.[(((triple9) -> rule1))]
The cat does not need the dog.
("cat" "needs" "dog" "-")
triple5
The cat eats the cow.
("cat" "eats" "cow" "+")
triple1
The cat eats the dog.
("cat" "eats" "dog" "+")
triple2
The cat is kind.
("cat" "is" "kind" "+")
triple3
The cat is young.
("cat" "is" "young" "+")
triple4
The cat sees the cow.
("cat" "sees" "cow" "+")
triple6
The cow eats the dog.
("cow" "eats" "dog" "+")
triple7
The cow is young.
("cow" "is" "young" "+")
triple8
The cow needs the cat.
("cow" "needs" "cat" "+")
triple9
The cow needs the dog.
("cow" "needs" "dog" "+")
triple10
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
triple11
The dog is not green.
("dog" "is" "green" "-")
triple12
The rabbit does not eat the dog.
("rabbit" "eats" "dog" "-")
triple13
The rabbit is green.
("rabbit" "is" "green" "+")
triple14
The rabbit is red.
("rabbit" "is" "red" "+")
triple15
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
triple16
The cow sees the dog.
("cow" "sees" "dog" "+")
((triple9) -> (rule1 % int1))
The cow sees the dog.
("cow" "sees" "dog" "+")
int1