The cat does not chase the mouse. The cat is blue. The cat is not green. The cat is not nice. The cat is not red. The cat is round. The cat does not like the mouse. The cat does not need the mouse. The mouse does not chase the cat. The mouse is not round. The mouse does not like the cat. The mouse needs the cat. If the cat is red and the cat chases the mouse then the mouse likes the cat. If something chases the mouse and the mouse does not need the cat then it does not like the cat. If something chases the cat and it chases the mouse then the mouse is blue. If something needs the mouse then it is blue. If something is blue and it likes the mouse then it is green. If something needs the cat then it likes the mouse.
The cat does not chase the mouse.
("cat" "chases" "mouse" "-")
The cat is blue.
("cat" "is" "blue" "+")
The cat is not green.
("cat" "is" "green" "-")
The cat is not nice.
("cat" "is" "nice" "-")
The cat is not red.
("cat" "is" "red" "-")
The cat is round.
("cat" "is" "round" "+")
The cat does not like the mouse.
("cat" "likes" "mouse" "-")
The cat does not need the mouse.
("cat" "needs" "mouse" "-")
The mouse does not chase the cat.
("mouse" "chases" "cat" "-")
The mouse is not round.
("mouse" "is" "round" "-")
The mouse does not like the cat.
("mouse" "likes" "cat" "-")
The mouse needs the cat.
("mouse" "needs" "cat" "+")
If the cat is red and the cat chases the mouse then the mouse likes the cat.
((("cat" "is" "red" "+") ("cat" "chases" "mouse" "+")) -> ("mouse" "likes" "cat" "+"))
If something chases the mouse and the mouse does not need the cat then it does not like the cat.
((("something" "chases" "mouse" "+") ("mouse" "needs" "cat" "~")) -> ("something" "likes" "cat" "-"))
If something chases the cat and it chases the mouse then the mouse is blue.
((("something" "chases" "cat" "+") ("something" "chases" "mouse" "+")) -> ("mouse" "is" "blue" "+"))
If something needs the mouse then it is blue.
((("something" "needs" "mouse" "+")) -> ("something" "is" "blue" "+"))
If something is blue and it likes the mouse then it is green.
((("something" "is" "blue" "+") ("something" "likes" "mouse" "+")) -> ("something" "is" "green" "+"))
If something needs the cat then it likes the mouse.
((("something" "needs" "cat" "+")) -> ("something" "likes" "mouse" "+"))
The mouse needs the cat.
True
1
proof
[(triple12)]
("mouse" "needs" "cat" "+")
triple12
The cat is not round.
False
1
inv-proof
[(triple6)]
("cat" "is" "round" "-")
triple6
The mouse likes the mouse.
True
2
proof
[(((triple12) -> rule6))]
("mouse" "likes" "mouse" "+")
((triple12) -> (rule6 % int1))
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int1
The mouse does not like the mouse.
False
2
inv-proof
[(((triple12) -> rule6))]
("mouse" "likes" "mouse" "-")
((triple12) -> (rule6 % int1))
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int1
The mouse is not green.
Unknown
inv-rconc
[@2: The mouse is green.[CWA. Example of deepest failure = (rule5 <- rule3 <- FAIL)]]
("mouse" "is" "green" "-")
The mouse is blue.
Unknown
rconc
[@1: The mouse is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("mouse" "is" "blue" "+")
The mouse is not red.
Unknown
inv-random
[@0: The mouse is red.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "red" "-")
The cat needs the cat.
Unknown
random
[@0: The cat needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "cat" "+")
@0: The cat does not chase the mouse.[(triple1)] The cat does not like the mouse.[(triple7)] The cat does not need the mouse.[(triple8)] The cat is blue.[(triple2)] The cat is not green.[(triple3)] The cat is not nice.[(triple4)] The cat is not red.[(triple5)] The cat is round.[(triple6)] The mouse does not chase the cat.[(triple9)] The mouse does not like the cat.[(triple11)] The mouse is not round.[(triple10)] The mouse needs the cat.[(triple12)] @1: The mouse likes the mouse.[(((triple12) -> rule6))]
The cat does not chase the mouse.
("cat" "chases" "mouse" "-")
triple1
The cat does not like the mouse.
("cat" "likes" "mouse" "-")
triple7
The cat does not need the mouse.
("cat" "needs" "mouse" "-")
triple8
The cat is blue.
("cat" "is" "blue" "+")
triple2
The cat is not green.
("cat" "is" "green" "-")
triple3
The cat is not nice.
("cat" "is" "nice" "-")
triple4
The cat is not red.
("cat" "is" "red" "-")
triple5
The cat is round.
("cat" "is" "round" "+")
triple6
The mouse does not chase the cat.
("mouse" "chases" "cat" "-")
triple9
The mouse does not like the cat.
("mouse" "likes" "cat" "-")
triple11
The mouse is not round.
("mouse" "is" "round" "-")
triple10
The mouse needs the cat.
("mouse" "needs" "cat" "+")
triple12
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
((triple12) -> (rule6 % int1))
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int1