The cow is blue. The cow is nice. The cow is rough. The cow needs the mouse. The cow sees the mouse. The cow visits the mouse. The mouse is blue. The mouse is green. The mouse is nice. The mouse does not need the cow. The mouse does not see the cow. The mouse visits the cow. If the mouse sees the cow then the cow is rough. If something is green and it needs the mouse then the mouse visits the cow. If something sees the cow and the cow visits the mouse then the mouse does not visit the cow. If something sees the cow and the cow is green then it is young. If something is green then it visits the mouse. If the cow does not see the mouse then the cow needs the mouse.
The cow is blue.
("cow" "is" "blue" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow needs the mouse.
("cow" "needs" "mouse" "+")
The cow sees the mouse.
("cow" "sees" "mouse" "+")
The cow visits the mouse.
("cow" "visits" "mouse" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse does not need the cow.
("mouse" "needs" "cow" "-")
The mouse does not see the cow.
("mouse" "sees" "cow" "-")
The mouse visits the cow.
("mouse" "visits" "cow" "+")
If the mouse sees the cow then the cow is rough.
((("mouse" "sees" "cow" "+")) -> ("cow" "is" "rough" "+"))
If something is green and it needs the mouse then the mouse visits the cow.
((("something" "is" "green" "+") ("something" "needs" "mouse" "+")) -> ("mouse" "visits" "cow" "+"))
If something sees the cow and the cow visits the mouse then the mouse does not visit the cow.
((("something" "sees" "cow" "+") ("cow" "visits" "mouse" "+")) -> ("mouse" "visits" "cow" "-"))
If something sees the cow and the cow is green then it is young.
((("something" "sees" "cow" "+") ("cow" "is" "green" "+")) -> ("something" "is" "young" "+"))
If something is green then it visits the mouse.
((("something" "is" "green" "+")) -> ("something" "visits" "mouse" "+"))
If the cow does not see the mouse then the cow needs the mouse.
((("cow" "sees" "mouse" "~")) -> ("cow" "needs" "mouse" "+"))
The mouse is nice.
True
1
proof
[(triple9)]
("mouse" "is" "nice" "+")
triple9
The cow does not need the mouse.
False
1
inv-proof
[(triple4)]
("cow" "needs" "mouse" "-")
triple4
The mouse visits the mouse.
True
2
proof
[(((triple8) -> rule5))]
("mouse" "visits" "mouse" "+")
((triple8) -> (rule5 % int1))
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int1
The mouse does not visit the mouse.
False
2
inv-proof
[(((triple8) -> rule5))]
("mouse" "visits" "mouse" "-")
((triple8) -> (rule5 % int1))
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int1
The mouse is not young.
Unknown
inv-rconc
[@1: The mouse is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("mouse" "is" "young" "-")
The cow is young.
Unknown
rconc
[@1: The cow is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cow" "is" "young" "+")
The mouse is not rough.
Unknown
inv-random
[@0: The mouse is rough.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "rough" "-")
The mouse needs the mouse.
Unknown
random
[@0: The mouse needs the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "needs" "mouse" "+")
@0: The cow is blue.[(triple1)] The cow is nice.[(triple2)] The cow is rough.[(triple3)] The cow needs the mouse.[(triple4)] The cow sees the mouse.[(triple5)] The cow visits the mouse.[(triple6)] The mouse does not need the cow.[(triple10)] The mouse does not see the cow.[(triple11)] The mouse is blue.[(triple7)] The mouse is green.[(triple8)] The mouse is nice.[(triple9)] The mouse visits the cow.[(triple12)] @1: The mouse visits the mouse.[(((triple8) -> rule5))]
The cow is blue.
("cow" "is" "blue" "+")
triple1
The cow is nice.
("cow" "is" "nice" "+")
triple2
The cow is rough.
("cow" "is" "rough" "+")
triple3
The cow needs the mouse.
("cow" "needs" "mouse" "+")
triple4
The cow sees the mouse.
("cow" "sees" "mouse" "+")
triple5
The cow visits the mouse.
("cow" "visits" "mouse" "+")
triple6
The mouse does not need the cow.
("mouse" "needs" "cow" "-")
triple10
The mouse does not see the cow.
("mouse" "sees" "cow" "-")
triple11
The mouse is blue.
("mouse" "is" "blue" "+")
triple7
The mouse is green.
("mouse" "is" "green" "+")
triple8
The mouse is nice.
("mouse" "is" "nice" "+")
triple9
The mouse visits the cow.
("mouse" "visits" "cow" "+")
triple12
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
((triple8) -> (rule5 % int1))
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int1