The cat chases the mouse. The cat is blue. The cat is green. The cat is nice. The cat is rough. The cat is round. The cat likes the mouse. The cat does not see the mouse. The mouse does not chase the cat. The mouse is blue. The mouse is nice. The mouse is rough. The mouse is round. The mouse does not like the cat. The mouse does not see the cat. If someone chases the cat then they like the cat. If someone chases the cat then they like the cat. If someone is green then they do not like the cat. If the cat sees the mouse and the cat does not like the mouse then the cat is blue. If someone likes the mouse and the mouse is rough then the mouse does not see the cat. If someone sees the mouse and the mouse sees the cat then they are not nice.
The cat chases the mouse.
("cat" "chases" "mouse" "+")
The cat is blue.
("cat" "is" "blue" "+")
The cat is green.
("cat" "is" "green" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat is round.
("cat" "is" "round" "+")
The cat likes the mouse.
("cat" "likes" "mouse" "+")
The cat does not see the mouse.
("cat" "sees" "mouse" "-")
The mouse does not chase the cat.
("mouse" "chases" "cat" "-")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse is round.
("mouse" "is" "round" "+")
The mouse does not like the cat.
("mouse" "likes" "cat" "-")
The mouse does not see the cat.
("mouse" "sees" "cat" "-")
If someone chases the cat then they like the cat.
((("someone" "chases" "cat" "+")) -> ("someone" "likes" "cat" "+"))
If someone chases the cat then they like the cat.
((("someone" "chases" "cat" "+")) -> ("someone" "likes" "cat" "+"))
If someone is green then they do not like the cat.
((("someone" "is" "green" "+")) -> ("someone" "likes" "cat" "-"))
If the cat sees the mouse and the cat does not like the mouse then the cat is blue.
((("cat" "sees" "mouse" "+") ("cat" "likes" "mouse" "~")) -> ("cat" "is" "blue" "+"))
If someone likes the mouse and the mouse is rough then the mouse does not see the cat.
((("someone" "likes" "mouse" "+") ("mouse" "is" "rough" "+")) -> ("mouse" "sees" "cat" "-"))
If someone sees the mouse and the mouse sees the cat then they are not nice.
((("someone" "sees" "mouse" "+") ("mouse" "sees" "cat" "+")) -> ("someone" "is" "nice" "-"))
The mouse is nice.
True
1
proof
[(triple11)]
("mouse" "is" "nice" "+")
triple11
The mouse chases the cat.
False
1
inv-proof
[(triple9)]
("mouse" "chases" "cat" "+")
triple9
The cat does not like the cat.
True
2
proof
[(((triple3) -> rule3))]
("cat" "likes" "cat" "-")
((triple3) -> (rule3 % int1))
The cat does not like the cat.
("cat" "likes" "cat" "-")
int1
The cat likes the cat.
False
2
inv-proof
[(((triple3) -> rule3))]
("cat" "likes" "cat" "+")
((triple3) -> (rule3 % int1))
The cat does not like the cat.
("cat" "likes" "cat" "-")
int1
The mouse does not like the mouse.
Unknown
inv-random
[@0: The mouse likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "mouse" "-")
The cat chases the cat.
Unknown
random
[@0: The cat chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "cat" "+")
The mouse does not see the mouse.
Unknown
inv-random
[@0: The mouse sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "mouse" "-")
The mouse chases the mouse.
Unknown
random
[@0: The mouse chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "mouse" "+")
@0: The cat chases the mouse.[(triple1)] The cat does not see the mouse.[(triple8)] The cat is blue.[(triple2)] The cat is green.[(triple3)] The cat is nice.[(triple4)] The cat is rough.[(triple5)] The cat is round.[(triple6)] The cat likes the mouse.[(triple7)] The mouse does not chase the cat.[(triple9)] The mouse does not like the cat.[(triple14)] The mouse does not see the cat.[(triple15 OR ((triple7 triple12) -> rule5))] The mouse is blue.[(triple10)] The mouse is nice.[(triple11)] The mouse is rough.[(triple12)] The mouse is round.[(triple13)] @1: The cat does not like the cat.[(((triple3) -> rule3))]
The cat chases the mouse.
("cat" "chases" "mouse" "+")
triple1
The cat does not see the mouse.
("cat" "sees" "mouse" "-")
triple8
The cat is blue.
("cat" "is" "blue" "+")
triple2
The cat is green.
("cat" "is" "green" "+")
triple3
The cat is nice.
("cat" "is" "nice" "+")
triple4
The cat is rough.
("cat" "is" "rough" "+")
triple5
The cat is round.
("cat" "is" "round" "+")
triple6
The cat likes the mouse.
("cat" "likes" "mouse" "+")
triple7
The mouse does not chase the cat.
("mouse" "chases" "cat" "-")
triple9
The mouse does not like the cat.
("mouse" "likes" "cat" "-")
triple14
The mouse does not see the cat.
("mouse" "sees" "cat" "-")
triple15
((triple7 triple12) -> (rule5 % int1))
The mouse does not see the cat.
("mouse" "sees" "cat" "-")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
triple10
The mouse is nice.
("mouse" "is" "nice" "+")
triple11
The mouse is rough.
("mouse" "is" "rough" "+")
triple12
The mouse is round.
("mouse" "is" "round" "+")
triple13
The cat does not like the cat.
("cat" "likes" "cat" "-")
((triple3) -> (rule3 % int1))
The cat does not like the cat.
("cat" "likes" "cat" "-")
int1