The cow chases the mouse. The cow eats the mouse. The cow is nice. The cow is round. The cow needs the mouse. The mouse chases the cow. The mouse eats the cow. The mouse is nice. The mouse is round. The mouse needs the cow. If something needs the cow and the cow chases the mouse then it is green.
The cow chases the mouse.
("cow" "chases" "mouse" "+")
The cow eats the mouse.
("cow" "eats" "mouse" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow is round.
("cow" "is" "round" "+")
The cow needs the mouse.
("cow" "needs" "mouse" "+")
The mouse chases the cow.
("mouse" "chases" "cow" "+")
The mouse eats the cow.
("mouse" "eats" "cow" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse is round.
("mouse" "is" "round" "+")
The mouse needs the cow.
("mouse" "needs" "cow" "+")
If something needs the cow and the cow chases the mouse then it is green.
((("something" "needs" "cow" "+") ("cow" "chases" "mouse" "+")) -> ("something" "is" "green" "+"))
The mouse is nice.
True
1
proof
[(triple8)]
("mouse" "is" "nice" "+")
triple8
The cow does not need the mouse.
False
1
inv-proof
[(triple5)]
("cow" "needs" "mouse" "-")
triple5
The mouse is green.
True
3
proof
[(((triple10 triple1) -> rule1))]
("mouse" "is" "green" "+")
((triple10 triple1) -> (rule1 % int1))
The mouse is green.
("mouse" "is" "green" "+")
int1
The mouse is not green.
False
3
inv-proof
[(((triple10 triple1) -> rule1))]
("mouse" "is" "green" "-")
((triple10 triple1) -> (rule1 % int1))
The mouse is green.
("mouse" "is" "green" "+")
int1
The cow is not green.
Unknown
inv-rconc
[@1: The cow is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "is" "green" "-")
The mouse is kind.
Unknown
random
[@0: The mouse is kind.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "kind" "+")
The mouse does not eat the mouse.
Unknown
inv-random
[@0: The mouse eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "mouse" "-")
The cow chases the cow.
Unknown
random
[@0: The cow chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "cow" "+")
@0: The cow chases the mouse.[(triple1)] The cow eats the mouse.[(triple2)] The cow is nice.[(triple3)] The cow is round.[(triple4)] The cow needs the mouse.[(triple5)] The mouse chases the cow.[(triple6)] The mouse eats the cow.[(triple7)] The mouse is nice.[(triple8)] The mouse is round.[(triple9)] The mouse needs the cow.[(triple10)] @1: The mouse is green.[(((triple10 triple1) -> rule1))]
The cow chases the mouse.
("cow" "chases" "mouse" "+")
triple1
The cow eats the mouse.
("cow" "eats" "mouse" "+")
triple2
The cow is nice.
("cow" "is" "nice" "+")
triple3
The cow is round.
("cow" "is" "round" "+")
triple4
The cow needs the mouse.
("cow" "needs" "mouse" "+")
triple5
The mouse chases the cow.
("mouse" "chases" "cow" "+")
triple6
The mouse eats the cow.
("mouse" "eats" "cow" "+")
triple7
The mouse is nice.
("mouse" "is" "nice" "+")
triple8
The mouse is round.
("mouse" "is" "round" "+")
triple9
The mouse needs the cow.
("mouse" "needs" "cow" "+")
triple10
The mouse is green.
("mouse" "is" "green" "+")
((triple10 triple1) -> (rule1 % int1))
The mouse is green.
("mouse" "is" "green" "+")
int1