The cat chases the cow. The cat does not chase the mouse. The cat is round. The cat needs the mouse. The cat visits the cow. The cat visits the mouse. The cow chases the cat. The cow is nice. The cow does not need the mouse. The cow visits the cat. The mouse is not cold. The mouse is round. The mouse needs the cat. The mouse needs the cow. The mouse visits the cat. If someone needs the mouse then they are nice. If someone needs the cow and the cow is round then they are not young. Nice people are young. If the cow is round then the cow chases the cat. If someone chases the mouse then the mouse is not nice. If someone needs the cow then the cow is green.
The cat chases the cow.
("cat" "chases" "cow" "+")
The cat does not chase the mouse.
("cat" "chases" "mouse" "-")
The cat is round.
("cat" "is" "round" "+")
The cat needs the mouse.
("cat" "needs" "mouse" "+")
The cat visits the cow.
("cat" "visits" "cow" "+")
The cat visits the mouse.
("cat" "visits" "mouse" "+")
The cow chases the cat.
("cow" "chases" "cat" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow does not need the mouse.
("cow" "needs" "mouse" "-")
The cow visits the cat.
("cow" "visits" "cat" "+")
The mouse is not cold.
("mouse" "is" "cold" "-")
The mouse is round.
("mouse" "is" "round" "+")
The mouse needs the cat.
("mouse" "needs" "cat" "+")
The mouse needs the cow.
("mouse" "needs" "cow" "+")
The mouse visits the cat.
("mouse" "visits" "cat" "+")
If someone needs the mouse then they are nice.
((("someone" "needs" "mouse" "+")) -> ("someone" "is" "nice" "+"))
If someone needs the cow and the cow is round then they are not young.
((("someone" "needs" "cow" "+") ("cow" "is" "round" "+")) -> ("someone" "is" "young" "-"))
Nice people are young.
((("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
If the cow is round then the cow chases the cat.
((("cow" "is" "round" "+")) -> ("cow" "chases" "cat" "+"))
If someone chases the mouse then the mouse is not nice.
((("someone" "chases" "mouse" "+")) -> ("mouse" "is" "nice" "-"))
If someone needs the cow then the cow is green.
((("someone" "needs" "cow" "+")) -> ("cow" "is" "green" "+"))
The cat visits the mouse.
True
1
proof
[(triple6)]
("cat" "visits" "mouse" "+")
triple6
The cat does not visit the mouse.
False
1
inv-proof
[(triple6)]
("cat" "visits" "mouse" "-")
triple6
The cow is young.
True
2
proof
[(((triple8) -> rule3))]
("cow" "is" "young" "+")
((triple8) -> (rule3 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The cat is not nice.
False
2
inv-proof
[(((triple4) -> rule1))]
("cat" "is" "nice" "-")
((triple4) -> (rule1 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The cat is young.
True
3
proof
[(((((triple4) -> rule1)) -> rule3))]
("cat" "is" "young" "+")
((((triple4) -> (rule1 % int2))) -> (rule3 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
The cat is nice.
("cat" "is" "nice" "+")
int2
The cat is not young.
False
3
inv-proof
[(((((triple4) -> rule1)) -> rule3))]
("cat" "is" "young" "-")
((((triple4) -> (rule1 % int2))) -> (rule3 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
The cat is nice.
("cat" "is" "nice" "+")
int2
The mouse is not nice.
Unknown
inv-rconc
[@1: The mouse is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "is" "nice" "-")
The mouse is young.
Unknown
rconc
[@2: The mouse is young.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("mouse" "is" "young" "+")
The cow is not round.
Unknown
inv-random
[@0: The cow is round.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "round" "-")
The cat is green.
Unknown
random
[@0: The cat is green.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "green" "+")
The cat does not need the cat.
Unknown
inv-random
[@0: The cat needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "cat" "-")
The cat chases the cat.
Unknown
random
[@0: The cat chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "cat" "+")
@0: The cat chases the cow.[(triple1)] The cat does not chase the mouse.[(triple2)] The cat is round.[(triple3)] The cat needs the mouse.[(triple4)] The cat visits the cow.[(triple5)] The cat visits the mouse.[(triple6)] The cow chases the cat.[(triple7)] The cow does not need the mouse.[(triple9)] The cow is nice.[(triple8)] The cow visits the cat.[(triple10)] The mouse is not cold.[(triple11)] The mouse is round.[(triple12)] The mouse needs the cat.[(triple13)] The mouse needs the cow.[(triple14)] The mouse visits the cat.[(triple15)] @1: The cat is nice.[(((triple4) -> rule1))] The cow is green.[(((triple14) -> rule6))] The cow is young.[(((triple8) -> rule3))] @2: The cat is young.[(((((triple4) -> rule1)) -> rule3))]
The cat chases the cow.
("cat" "chases" "cow" "+")
triple1
The cat does not chase the mouse.
("cat" "chases" "mouse" "-")
triple2
The cat is round.
("cat" "is" "round" "+")
triple3
The cat needs the mouse.
("cat" "needs" "mouse" "+")
triple4
The cat visits the cow.
("cat" "visits" "cow" "+")
triple5
The cat visits the mouse.
("cat" "visits" "mouse" "+")
triple6
The cow chases the cat.
("cow" "chases" "cat" "+")
triple7
The cow does not need the mouse.
("cow" "needs" "mouse" "-")
triple9
The cow is nice.
("cow" "is" "nice" "+")
triple8
The cow visits the cat.
("cow" "visits" "cat" "+")
triple10
The mouse is not cold.
("mouse" "is" "cold" "-")
triple11
The mouse is round.
("mouse" "is" "round" "+")
triple12
The mouse needs the cat.
("mouse" "needs" "cat" "+")
triple13
The mouse needs the cow.
("mouse" "needs" "cow" "+")
triple14
The mouse visits the cat.
("mouse" "visits" "cat" "+")
triple15
The cat is nice.
("cat" "is" "nice" "+")
((triple4) -> (rule1 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The cow is green.
("cow" "is" "green" "+")
((triple14) -> (rule6 % int1))
The cow is green.
("cow" "is" "green" "+")
int1
The cow is young.
("cow" "is" "young" "+")
((triple8) -> (rule3 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The cat is young.
("cat" "is" "young" "+")
((((triple4) -> (rule1 % int2))) -> (rule3 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
The cat is nice.
("cat" "is" "nice" "+")
int2