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