The cat eats the mouse. The cat is big. The cat is not green. The cat is round. The cat is young. The cat likes the mouse. The cat does not see the mouse. The mouse eats the cat. The mouse is not big. The mouse is cold. The mouse is green. The mouse is round. The mouse is young. The mouse likes the cat. The mouse sees the cat. If someone sees the cat and the cat does not eat the mouse then the cat is young. If someone likes the cat and they do not see the mouse then the mouse sees the cat. If someone eats the cat and they do not see the mouse then the mouse does not see the cat. If someone likes the mouse and the mouse likes the cat then the mouse is cold. If someone eats the cat then the cat likes the mouse. If someone is round and they like the cat then they like the mouse.
The cat eats the mouse.
("cat" "eats" "mouse" "+")
The cat is big.
("cat" "is" "big" "+")
The cat is not green.
("cat" "is" "green" "-")
The cat is round.
("cat" "is" "round" "+")
The cat is young.
("cat" "is" "young" "+")
The cat likes the mouse.
("cat" "likes" "mouse" "+")
The cat does not see the mouse.
("cat" "sees" "mouse" "-")
The mouse eats the cat.
("mouse" "eats" "cat" "+")
The mouse is not big.
("mouse" "is" "big" "-")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse is round.
("mouse" "is" "round" "+")
The mouse is young.
("mouse" "is" "young" "+")
The mouse likes the cat.
("mouse" "likes" "cat" "+")
The mouse sees the cat.
("mouse" "sees" "cat" "+")
If someone sees the cat and the cat does not eat the mouse then the cat is young.
((("someone" "sees" "cat" "+") ("cat" "eats" "mouse" "~")) -> ("cat" "is" "young" "+"))
If someone likes the cat and they do not see the mouse then the mouse sees the cat.
((("someone" "likes" "cat" "+") ("someone" "sees" "mouse" "~")) -> ("mouse" "sees" "cat" "+"))
If someone eats the cat and they do not see the mouse then the mouse does not see the cat.
((("someone" "eats" "cat" "+") ("someone" "sees" "mouse" "~")) -> ("mouse" "sees" "cat" "-"))
If someone likes the mouse and the mouse likes the cat then the mouse is cold.
((("someone" "likes" "mouse" "+") ("mouse" "likes" "cat" "+")) -> ("mouse" "is" "cold" "+"))
If someone eats the cat then the cat likes the mouse.
((("someone" "eats" "cat" "+")) -> ("cat" "likes" "mouse" "+"))
If someone is round and they like the cat then they like the mouse.
((("someone" "is" "round" "+") ("someone" "likes" "cat" "+")) -> ("someone" "likes" "mouse" "+"))
The mouse is round.
True
1
proof
[(triple12)]
("mouse" "is" "round" "+")
triple12
The cat sees the mouse.
False
1
inv-proof
[(triple7)]
("cat" "sees" "mouse" "+")
triple7
The mouse likes the mouse.
True
3
proof
[(((triple12 triple14) -> rule6))]
("mouse" "likes" "mouse" "+")
((triple12 triple14) -> (rule6 % int1))
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int1
The mouse does not like the mouse.
False
3
inv-proof
[(((triple12 triple14) -> rule6))]
("mouse" "likes" "mouse" "-")
((triple12 triple14) -> (rule6 % int1))
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int1
The cat is not cold.
Unknown
inv-random
[@0: The cat is cold.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "cold" "-")
The cat likes the cat.
Unknown
random
[@0: The cat likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "cat" "+")
The cat does not eat the cat.
Unknown
inv-random
[@0: The cat eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "cat" "-")
The cat sees the cat.
Unknown
random
[@0: The cat sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "cat" "+")
@0: The cat does not see the mouse.[(triple7)] The cat eats the mouse.[(triple1)] The cat is big.[(triple2)] The cat is not green.[(triple3)] The cat is round.[(triple4)] The cat is young.[(triple5)] The cat likes the mouse.[(triple6 OR ((triple8) -> rule5))] The mouse eats the cat.[(triple8)] The mouse is cold.[(triple10 OR ((triple6 triple14) -> rule4) OR ((((triple8) -> rule5) triple14) -> rule4) OR ((((triple12 triple14) -> rule6) triple14) -> rule4))] The mouse is green.[(triple11)] The mouse is not big.[(triple9)] The mouse is round.[(triple12)] The mouse is young.[(triple13)] The mouse likes the cat.[(triple14)] The mouse sees the cat.[(triple15)] @1: The mouse likes the mouse.[(((triple12 triple14) -> rule6))]
The cat does not see the mouse.
("cat" "sees" "mouse" "-")
triple7
The cat eats the mouse.
("cat" "eats" "mouse" "+")
triple1
The cat is big.
("cat" "is" "big" "+")
triple2
The cat is not green.
("cat" "is" "green" "-")
triple3
The cat is round.
("cat" "is" "round" "+")
triple4
The cat is young.
("cat" "is" "young" "+")
triple5
The cat likes the mouse.
("cat" "likes" "mouse" "+")
triple6
((triple8) -> (rule5 % int1))
The cat likes the mouse.
("cat" "likes" "mouse" "+")
int1
The mouse eats the cat.
("mouse" "eats" "cat" "+")
triple8
The mouse is cold.
("mouse" "is" "cold" "+")
triple10
((triple6 triple14) -> (rule4 % int1))
The mouse is cold.
("mouse" "is" "cold" "+")
int1
((((triple8) -> (rule5 % int2)) triple14) -> (rule4 % int1))
The mouse is cold.
("mouse" "is" "cold" "+")
int1
The cat likes the mouse.
("cat" "likes" "mouse" "+")
int2
((((triple12 triple14) -> (rule6 % int2)) triple14) -> (rule4 % int1))
The mouse is cold.
("mouse" "is" "cold" "+")
int1
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int2
The mouse is green.
("mouse" "is" "green" "+")
triple11
The mouse is not big.
("mouse" "is" "big" "-")
triple9
The mouse is round.
("mouse" "is" "round" "+")
triple12
The mouse is young.
("mouse" "is" "young" "+")
triple13
The mouse likes the cat.
("mouse" "likes" "cat" "+")
triple14
The mouse sees the cat.
("mouse" "sees" "cat" "+")
triple15
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
((triple12 triple14) -> (rule6 % int1))
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int1