The cat chases the cow. The cat eats the cow. The cat eats the dog. The cat is kind. The cat needs the cow. The cat needs the dog. The cat needs the mouse. The cow chases the cat. The cow is big. The cow is cold. The cow is kind. The cow needs the dog. The dog chases the mouse. The dog eats the cow. The dog is big. The mouse eats the dog. If the cat is rough and the cat is cold then the cat eats the dog. If someone needs the cow and they need the cat then they need the dog. If someone chases the mouse and they chase the dog then the dog needs the mouse. If someone is rough and they need the dog then the dog is young. If someone eats the cow and the cow eats the mouse then the mouse eats the cow. If someone is kind then they are rough. If someone chases the dog then they need the cow. If someone is cold and they chase the dog then they need the cow.
The cat chases the cow.
("cat" "chases" "cow" "+")
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 needs the cow.
("cat" "needs" "cow" "+")
The cat needs the dog.
("cat" "needs" "dog" "+")
The cat needs the mouse.
("cat" "needs" "mouse" "+")
The cow chases the cat.
("cow" "chases" "cat" "+")
The cow is big.
("cow" "is" "big" "+")
The cow is cold.
("cow" "is" "cold" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow needs the dog.
("cow" "needs" "dog" "+")
The dog chases the mouse.
("dog" "chases" "mouse" "+")
The dog eats the cow.
("dog" "eats" "cow" "+")
The dog is big.
("dog" "is" "big" "+")
The mouse eats the dog.
("mouse" "eats" "dog" "+")
If the cat is rough and the cat is cold then the cat eats the dog.
((("cat" "is" "rough" "+") ("cat" "is" "cold" "+")) -> ("cat" "eats" "dog" "+"))
If someone needs the cow and they need the cat then they need the dog.
((("someone" "needs" "cow" "+") ("someone" "needs" "cat" "+")) -> ("someone" "needs" "dog" "+"))
If someone chases the mouse and they chase the dog then the dog needs the mouse.
((("someone" "chases" "mouse" "+") ("someone" "chases" "dog" "+")) -> ("dog" "needs" "mouse" "+"))
If someone is rough and they need the dog then the dog is young.
((("someone" "is" "rough" "+") ("someone" "needs" "dog" "+")) -> ("dog" "is" "young" "+"))
If someone eats the cow and the cow eats the mouse then the mouse eats the cow.
((("someone" "eats" "cow" "+") ("cow" "eats" "mouse" "+")) -> ("mouse" "eats" "cow" "+"))
If someone is kind then they are rough.
((("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If someone chases the dog then they need the cow.
((("someone" "chases" "dog" "+")) -> ("someone" "needs" "cow" "+"))
If someone is cold and they chase the dog then they need the cow.
((("someone" "is" "cold" "+") ("someone" "chases" "dog" "+")) -> ("someone" "needs" "cow" "+"))
The cow chases the cat.
True
1
proof
[(triple8)]
("cow" "chases" "cat" "+")
triple8
The cat does not need the dog.
False
1
inv-proof
[(triple6)]
("cat" "needs" "dog" "-")
triple6
The cow is rough.
True
2
proof
[(((triple11) -> rule6))]
("cow" "is" "rough" "+")
((triple11) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cat is not rough.
False
2
inv-proof
[(((triple4) -> rule6))]
("cat" "is" "rough" "-")
((triple4) -> (rule6 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The mouse does not eat the cow.
Unknown
inv-rconc
[@1: The mouse eats the cow.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("mouse" "eats" "cow" "-")
The mouse needs the cow.
Unknown
rconc
[@1: The mouse needs the cow.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("mouse" "needs" "cow" "+")
The mouse is not kind.
Unknown
inv-random
[@0: The mouse is kind.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "kind" "-")
The cow needs the cat.
Unknown
random
[@0: The cow needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "cat" "+")
@0: The cat chases the cow.[(triple1)] The cat eats the cow.[(triple2)] The cat eats the dog.[(triple3)] The cat is kind.[(triple4)] The cat needs the cow.[(triple5)] The cat needs the dog.[(triple6)] The cat needs the mouse.[(triple7)] The cow chases the cat.[(triple8)] The cow is big.[(triple9)] The cow is cold.[(triple10)] The cow is kind.[(triple11)] The cow needs the dog.[(triple12)] The dog chases the mouse.[(triple13)] The dog eats the cow.[(triple14)] The dog is big.[(triple15)] The mouse eats the dog.[(triple16)] @1: The cat is rough.[(((triple4) -> rule6))] The cow is rough.[(((triple11) -> rule6))] @2: The dog is young.[(((((triple11) -> rule6) triple12) -> rule4) OR ((((triple4) -> rule6) triple6) -> rule4))]
The cat chases the cow.
("cat" "chases" "cow" "+")
triple1
The cat eats the cow.
("cat" "eats" "cow" "+")
triple2
The cat eats the dog.
("cat" "eats" "dog" "+")
triple3
The cat is kind.
("cat" "is" "kind" "+")
triple4
The cat needs the cow.
("cat" "needs" "cow" "+")
triple5
The cat needs the dog.
("cat" "needs" "dog" "+")
triple6
The cat needs the mouse.
("cat" "needs" "mouse" "+")
triple7
The cow chases the cat.
("cow" "chases" "cat" "+")
triple8
The cow is big.
("cow" "is" "big" "+")
triple9
The cow is cold.
("cow" "is" "cold" "+")
triple10
The cow is kind.
("cow" "is" "kind" "+")
triple11
The cow needs the dog.
("cow" "needs" "dog" "+")
triple12
The dog chases the mouse.
("dog" "chases" "mouse" "+")
triple13
The dog eats the cow.
("dog" "eats" "cow" "+")
triple14
The dog is big.
("dog" "is" "big" "+")
triple15
The mouse eats the dog.
("mouse" "eats" "dog" "+")
triple16
The cat is rough.
("cat" "is" "rough" "+")
((triple4) -> (rule6 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cow is rough.
("cow" "is" "rough" "+")
((triple11) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The dog is young.
("dog" "is" "young" "+")
((((triple11) -> (rule6 % int2)) triple12) -> (rule4 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
((((triple4) -> (rule6 % int2)) triple6) -> (rule4 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
int2