The cow chases the mouse. The cow eats the mouse. The cow is big. The cow is blue. The cow is green. The cow is rough. The cow is round. The cow sees the mouse. The mouse chases the cow. The mouse eats the cow. The mouse is big. The mouse is blue. The mouse is not rough. The mouse is round. The mouse sees the cow. If the mouse eats the cow then the cow sees the mouse. If something is blue and green then it eats the mouse.
The cow chases the mouse.
("cow" "chases" "mouse" "+")
The cow eats the mouse.
("cow" "eats" "mouse" "+")
The cow is big.
("cow" "is" "big" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow is green.
("cow" "is" "green" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow is round.
("cow" "is" "round" "+")
The cow sees the mouse.
("cow" "sees" "mouse" "+")
The mouse chases the cow.
("mouse" "chases" "cow" "+")
The mouse eats the cow.
("mouse" "eats" "cow" "+")
The mouse is big.
("mouse" "is" "big" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse is not rough.
("mouse" "is" "rough" "-")
The mouse is round.
("mouse" "is" "round" "+")
The mouse sees the cow.
("mouse" "sees" "cow" "+")
If the mouse eats the cow then the cow sees the mouse.
((("mouse" "eats" "cow" "+")) -> ("cow" "sees" "mouse" "+"))
If something is blue and green then it eats the mouse.
((("something" "is" "blue" "+") ("something" "is" "green" "+")) -> ("something" "eats" "mouse" "+"))
The cow is green.
True
1
proof
[(triple5)]
("cow" "is" "green" "+")
triple5
The mouse is not big.
False
1
inv-proof
[(triple11)]
("mouse" "is" "big" "-")
triple11
The mouse does not eat the mouse.
Unknown
inv-rconc
[@1: The mouse eats the mouse.[CWA. Example of deepest failure = (rule2 <- 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 OR ((triple4 triple5) -> rule2))] The cow is big.[(triple3)] The cow is blue.[(triple4)] The cow is green.[(triple5)] The cow is rough.[(triple6)] The cow is round.[(triple7)] The cow sees the mouse.[(triple8 OR ((triple10) -> rule1))] The mouse chases the cow.[(triple9)] The mouse eats the cow.[(triple10)] The mouse is big.[(triple11)] The mouse is blue.[(triple12)] The mouse is not rough.[(triple13)] The mouse is round.[(triple14)] The mouse sees the cow.[(triple15)]
The cow chases the mouse.
("cow" "chases" "mouse" "+")
triple1
The cow eats the mouse.
("cow" "eats" "mouse" "+")
triple2
((triple4 triple5) -> (rule2 % int1))
The cow eats the mouse.
("cow" "eats" "mouse" "+")
int1
The cow is big.
("cow" "is" "big" "+")
triple3
The cow is blue.
("cow" "is" "blue" "+")
triple4
The cow is green.
("cow" "is" "green" "+")
triple5
The cow is rough.
("cow" "is" "rough" "+")
triple6
The cow is round.
("cow" "is" "round" "+")
triple7
The cow sees the mouse.
("cow" "sees" "mouse" "+")
triple8
((triple10) -> (rule1 % int1))
The cow sees the mouse.
("cow" "sees" "mouse" "+")
int1
The mouse chases the cow.
("mouse" "chases" "cow" "+")
triple9
The mouse eats the cow.
("mouse" "eats" "cow" "+")
triple10
The mouse is big.
("mouse" "is" "big" "+")
triple11
The mouse is blue.
("mouse" "is" "blue" "+")
triple12
The mouse is not rough.
("mouse" "is" "rough" "-")
triple13
The mouse is round.
("mouse" "is" "round" "+")
triple14
The mouse sees the cow.
("mouse" "sees" "cow" "+")
triple15