The cat chases the cow. The cat is green. The cat needs the dog. The cow eats the mouse. The dog eats the mouse. The dog needs the cat. The mouse eats the dog. If someone eats the mouse then the mouse chases the cat. If someone is nice then they are young. If someone is round then they are nice. If someone is young then they eat the cat. If someone needs the dog then the dog chases the cat. If someone eats the mouse and the mouse is not nice then they are green. If someone is green and they chase the cow then they need the cat. If someone needs the dog and they need the cat then the cat does not need the mouse.
The cat chases the cow.
("cat" "chases" "cow" "+")
The cat is green.
("cat" "is" "green" "+")
The cat needs the dog.
("cat" "needs" "dog" "+")
The cow eats the mouse.
("cow" "eats" "mouse" "+")
The dog eats the mouse.
("dog" "eats" "mouse" "+")
The dog needs the cat.
("dog" "needs" "cat" "+")
The mouse eats the dog.
("mouse" "eats" "dog" "+")
If someone eats the mouse then the mouse chases the cat.
((("someone" "eats" "mouse" "+")) -> ("mouse" "chases" "cat" "+"))
If someone is nice then they are young.
((("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
If someone is round then they are nice.
((("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is young then they eat the cat.
((("someone" "is" "young" "+")) -> ("someone" "eats" "cat" "+"))
If someone needs the dog then the dog chases the cat.
((("someone" "needs" "dog" "+")) -> ("dog" "chases" "cat" "+"))
If someone eats the mouse and the mouse is not nice then they are green.
((("someone" "eats" "mouse" "+") ("mouse" "is" "nice" "~")) -> ("someone" "is" "green" "+"))
If someone is green and they chase the cow then they need the cat.
((("someone" "is" "green" "+") ("someone" "chases" "cow" "+")) -> ("someone" "needs" "cat" "+"))
If someone needs the dog and they need the cat then the cat does not need the mouse.
((("someone" "needs" "dog" "+") ("someone" "needs" "cat" "+")) -> ("cat" "needs" "mouse" "-"))
The mouse eats the dog.
True
1
proof
[(triple7)]
("mouse" "eats" "dog" "+")
triple7
The dog does not eat the mouse.
False
1
inv-proof
[(triple5)]
("dog" "eats" "mouse" "-")
triple5
The cat needs the cat.
True
3
proof
[(((triple2 triple1) -> rule7))]
("cat" "needs" "cat" "+")
((triple2 triple1) -> (rule7 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
The cat does not need the cat.
False
3
inv-proof
[(((triple2 triple1) -> rule7))]
("cat" "needs" "cat" "-")
((triple2 triple1) -> (rule7 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
The cat does not need the mouse.
True
5
proof
[(((triple3 ((triple2 triple1) -> rule7)) -> rule8))]
("cat" "needs" "mouse" "-")
((triple3 ((triple2 triple1) -> (rule7 % int2))) -> (rule8 % int1))
The cat does not need the mouse.
("cat" "needs" "mouse" "-")
int1
The cat needs the cat.
("cat" "needs" "cat" "+")
int2
The cat needs the mouse.
False
5
inv-proof
[(((triple3 ((triple2 triple1) -> rule7)) -> rule8))]
("cat" "needs" "mouse" "+")
((triple3 ((triple2 triple1) -> (rule7 % int2))) -> (rule8 % int1))
The cat does not need the mouse.
("cat" "needs" "mouse" "-")
int1
The cat needs the cat.
("cat" "needs" "cat" "+")
int2
The mouse is not green.
Unknown
inv-rconc
[@1: The mouse is green.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("mouse" "is" "green" "-")
The mouse is young.
Unknown
rconc
[@2: The mouse is young.[CWA. Example of deepest failure = (rule2 <- rule3 <- FAIL)]]
("mouse" "is" "young" "+")
The cow does not need the cat.
Unknown
inv-rconc
[@1: The cow needs the cat.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("cow" "needs" "cat" "-")
The mouse is round.
Unknown
random
[@0: The mouse is round.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "round" "+")
The cow does not need the mouse.
Unknown
inv-random
[@0: The cow needs the mouse.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "mouse" "-")
The cow is round.
Unknown
random
[@0: The cow is round.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "round" "+")
@0: The cat chases the cow.[(triple1)] The cat is green.[(triple2)] The cat needs the dog.[(triple3)] The cow eats the mouse.[(triple4)] The dog eats the mouse.[(triple5)] The dog needs the cat.[(triple6)] The mouse eats the dog.[(triple7)] @1: The cat needs the cat.[(((triple2 triple1) -> rule7))] The dog chases the cat.[(((triple3) -> rule5))] The mouse chases the cat.[(((triple4) -> rule1) OR ((triple5) -> rule1))] @2: The cat does not need the mouse.[(((triple3 ((triple2 triple1) -> rule7)) -> rule8))]
The cat chases the cow.
("cat" "chases" "cow" "+")
triple1
The cat is green.
("cat" "is" "green" "+")
triple2
The cat needs the dog.
("cat" "needs" "dog" "+")
triple3
The cow eats the mouse.
("cow" "eats" "mouse" "+")
triple4
The dog eats the mouse.
("dog" "eats" "mouse" "+")
triple5
The dog needs the cat.
("dog" "needs" "cat" "+")
triple6
The mouse eats the dog.
("mouse" "eats" "dog" "+")
triple7
The cat needs the cat.
("cat" "needs" "cat" "+")
((triple2 triple1) -> (rule7 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
The dog chases the cat.
("dog" "chases" "cat" "+")
((triple3) -> (rule5 % int1))
The dog chases the cat.
("dog" "chases" "cat" "+")
int1
The mouse chases the cat.
("mouse" "chases" "cat" "+")
((triple4) -> (rule1 % int1))
The mouse chases the cat.
("mouse" "chases" "cat" "+")
int1
((triple5) -> (rule1 % int1))
The mouse chases the cat.
("mouse" "chases" "cat" "+")
int1
The cat does not need the mouse.
("cat" "needs" "mouse" "-")
((triple3 ((triple2 triple1) -> (rule7 % int2))) -> (rule8 % int1))
The cat does not need the mouse.
("cat" "needs" "mouse" "-")
int1
The cat needs the cat.
("cat" "needs" "cat" "+")
int2