The cat chases the mouse. The cat does not chase the rabbit. The cat eats the mouse. The cat eats the rabbit. The cat is blue. The cat needs the rabbit. The mouse chases the rabbit. The mouse needs the rabbit. The rabbit does not chase the cat. The rabbit chases the mouse. The rabbit eats the cat. The rabbit eats the mouse. The rabbit is big. The rabbit needs the cat. The rabbit needs the mouse. If the mouse chases the rabbit then the rabbit needs the cat. If something needs the cat and the cat does not eat the rabbit then the cat is young. If something needs the cat and the cat chases the rabbit then it does not need the rabbit. If something needs the rabbit and it does not need the cat then it needs the mouse. If something is big then it is young. If something is big and it does not need the mouse then it chases the mouse. If something eats the cat then the cat is big. If something chases the rabbit and it chases the mouse then the rabbit does not eat the cat.
The cat chases the mouse.
("cat" "chases" "mouse" "+")
The cat does not chase the rabbit.
("cat" "chases" "rabbit" "-")
The cat eats the mouse.
("cat" "eats" "mouse" "+")
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
The cat is blue.
("cat" "is" "blue" "+")
The cat needs the rabbit.
("cat" "needs" "rabbit" "+")
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
The mouse needs the rabbit.
("mouse" "needs" "rabbit" "+")
The rabbit does not chase the cat.
("rabbit" "chases" "cat" "-")
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit needs the cat.
("rabbit" "needs" "cat" "+")
The rabbit needs the mouse.
("rabbit" "needs" "mouse" "+")
If the mouse chases the rabbit then the rabbit needs the cat.
((("mouse" "chases" "rabbit" "+")) -> ("rabbit" "needs" "cat" "+"))
If something needs the cat and the cat does not eat the rabbit then the cat is young.
((("something" "needs" "cat" "+") ("cat" "eats" "rabbit" "~")) -> ("cat" "is" "young" "+"))
If something needs the cat and the cat chases the rabbit then it does not need the rabbit.
((("something" "needs" "cat" "+") ("cat" "chases" "rabbit" "+")) -> ("something" "needs" "rabbit" "-"))
If something needs the rabbit and it does not need the cat then it needs the mouse.
((("something" "needs" "rabbit" "+") ("something" "needs" "cat" "~")) -> ("something" "needs" "mouse" "+"))
If something is big then it is young.
((("something" "is" "big" "+")) -> ("something" "is" "young" "+"))
If something is big and it does not need the mouse then it chases the mouse.
((("something" "is" "big" "+") ("something" "needs" "mouse" "~")) -> ("something" "chases" "mouse" "+"))
If something eats the cat then the cat is big.
((("something" "eats" "cat" "+")) -> ("cat" "is" "big" "+"))
If something chases the rabbit and it chases the mouse then the rabbit does not eat the cat.
((("something" "chases" "rabbit" "+") ("something" "chases" "mouse" "+")) -> ("rabbit" "eats" "cat" "-"))
The rabbit eats the cat.
True
1
proof
[(triple11)]
("rabbit" "eats" "cat" "+")
triple11
The rabbit does not need the cat.
False
1
inv-proof
[(triple14 OR ((triple7) -> rule1))]
("rabbit" "needs" "cat" "-")
triple14
((triple7) -> (rule1 % int1))
The rabbit needs the cat.
("rabbit" "needs" "cat" "+")
int1
The cat is big.
True
2
proof
[(((triple11) -> rule7))]
("cat" "is" "big" "+")
((triple11) -> (rule7 % int1))
The cat is big.
("cat" "is" "big" "+")
int1
The rabbit is not young.
False
2
inv-proof
[(((triple13) -> rule5))]
("rabbit" "is" "young" "-")
((triple13) -> (rule5 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
The cat is young.
True
3
proof
[(((((triple11) -> rule7)) -> rule5))]
("cat" "is" "young" "+")
((((triple11) -> (rule7 % int2))) -> (rule5 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
The cat is big.
("cat" "is" "big" "+")
int2
The cat is not young.
False
3
inv-proof
[(((((triple11) -> rule7)) -> rule5))]
("cat" "is" "young" "-")
((((triple11) -> (rule7 % int2))) -> (rule5 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
The cat is big.
("cat" "is" "big" "+")
int2
The cat does not need the mouse.
Unknown
inv-rconc
[@1: The cat needs the mouse.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cat" "needs" "mouse" "-")
The mouse is young.
Unknown
rconc
[@1: The mouse is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("mouse" "is" "young" "+")
The mouse does not need the mouse.
Unknown
inv-rconc
[@1: The mouse needs the mouse.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("mouse" "needs" "mouse" "-")
The mouse is big.
Unknown
random
[@0: The mouse is big.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "big" "+")
The mouse does not eat the cat.
Unknown
inv-random
[@0: The mouse eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "cat" "-")
The rabbit eats the rabbit.
Unknown
random
[@0: The rabbit eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "rabbit" "+")
@0: The cat chases the mouse.[(triple1)] The cat does not chase the rabbit.[(triple2)] The cat eats the mouse.[(triple3)] The cat eats the rabbit.[(triple4)] The cat is blue.[(triple5)] The cat needs the rabbit.[(triple6)] The mouse chases the rabbit.[(triple7)] The mouse needs the rabbit.[(triple8)] The rabbit chases the mouse.[(triple10)] The rabbit does not chase the cat.[(triple9)] The rabbit eats the cat.[(triple11)] The rabbit eats the mouse.[(triple12)] The rabbit is big.[(triple13)] The rabbit needs the cat.[(triple14 OR ((triple7) -> rule1))] The rabbit needs the mouse.[(triple15)] @1: The cat is big.[(((triple11) -> rule7))] The rabbit is young.[(((triple13) -> rule5))] @2: The cat is young.[(((((triple11) -> rule7)) -> rule5))]
The cat chases the mouse.
("cat" "chases" "mouse" "+")
triple1
The cat does not chase the rabbit.
("cat" "chases" "rabbit" "-")
triple2
The cat eats the mouse.
("cat" "eats" "mouse" "+")
triple3
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
triple4
The cat is blue.
("cat" "is" "blue" "+")
triple5
The cat needs the rabbit.
("cat" "needs" "rabbit" "+")
triple6
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
triple7
The mouse needs the rabbit.
("mouse" "needs" "rabbit" "+")
triple8
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
triple10
The rabbit does not chase the cat.
("rabbit" "chases" "cat" "-")
triple9
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
triple11
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
triple12
The rabbit is big.
("rabbit" "is" "big" "+")
triple13
The rabbit needs the cat.
("rabbit" "needs" "cat" "+")
triple14
((triple7) -> (rule1 % int1))
The rabbit needs the cat.
("rabbit" "needs" "cat" "+")
int1
The rabbit needs the mouse.
("rabbit" "needs" "mouse" "+")
triple15
The cat is big.
("cat" "is" "big" "+")
((triple11) -> (rule7 % int1))
The cat is big.
("cat" "is" "big" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
((triple13) -> (rule5 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
The cat is young.
("cat" "is" "young" "+")
((((triple11) -> (rule7 % int2))) -> (rule5 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
The cat is big.
("cat" "is" "big" "+")
int2