The cow chases the mouse. The cow eats the mouse. The cow is nice. The cow is red. 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 green. The mouse is nice. The mouse is red. The mouse is rough. The mouse is round. The mouse sees the cow. If the cow eats the mouse then the cow chases the mouse. If someone eats the mouse and the mouse eats the cow then they chase the mouse. If someone is green then they eat the cow. If someone is green and they chase the mouse then they eat the mouse. If someone is green then they eat the mouse. If someone sees the mouse and the mouse chases the cow then the cow is rough.
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 red.
("cow" "is" "red" "+")
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 green.
("mouse" "is" "green" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse is round.
("mouse" "is" "round" "+")
The mouse sees the cow.
("mouse" "sees" "cow" "+")
If the cow eats the mouse then the cow chases the mouse.
((("cow" "eats" "mouse" "+")) -> ("cow" "chases" "mouse" "+"))
If someone eats the mouse and the mouse eats the cow then they chase the mouse.
((("someone" "eats" "mouse" "+") ("mouse" "eats" "cow" "+")) -> ("someone" "chases" "mouse" "+"))
If someone is green then they eat the cow.
((("someone" "is" "green" "+")) -> ("someone" "eats" "cow" "+"))
If someone is green and they chase the mouse then they eat the mouse.
((("someone" "is" "green" "+") ("someone" "chases" "mouse" "+")) -> ("someone" "eats" "mouse" "+"))
If someone is green then they eat the mouse.
((("someone" "is" "green" "+")) -> ("someone" "eats" "mouse" "+"))
If someone sees the mouse and the mouse chases the cow then the cow is rough.
((("someone" "sees" "mouse" "+") ("mouse" "chases" "cow" "+")) -> ("cow" "is" "rough" "+"))
The mouse is red.
True
1
proof
[(triple12)]
("mouse" "is" "red" "+")
triple12
The mouse is not nice.
False
1
inv-proof
[(triple11)]
("mouse" "is" "nice" "-")
triple11
The mouse eats the mouse.
True
2
proof
[(((triple10) -> rule5))]
("mouse" "eats" "mouse" "+")
((triple10) -> (rule5 % int1))
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int1
The mouse does not eat the mouse.
False
2
inv-proof
[(((triple10) -> rule5))]
("mouse" "eats" "mouse" "-")
((triple10) -> (rule5 % int1))
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int1
The mouse chases the mouse.
True
4
proof
[(((((triple10) -> rule5) triple9) -> rule2) OR ((((triple10) -> rule5) ((triple10) -> rule3)) -> rule2))]
("mouse" "chases" "mouse" "+")
((((triple10) -> (rule5 % int2)) triple9) -> (rule2 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int2
((((triple10) -> (rule5 % int3)) ((triple10) -> (rule3 % int2))) -> (rule2 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse eats the cow.
("mouse" "eats" "cow" "+")
int2
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int3
The mouse does not chase the mouse.
False
4
inv-proof
[(((((triple10) -> rule5) triple9) -> rule2) OR ((((triple10) -> rule5) ((triple10) -> rule3)) -> rule2))]
("mouse" "chases" "mouse" "-")
((((triple10) -> (rule5 % int2)) triple9) -> (rule2 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int2
((((triple10) -> (rule5 % int3)) ((triple10) -> (rule3 % int2))) -> (rule2 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse eats the cow.
("mouse" "eats" "cow" "+")
int2
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int3
The cow does not eat the cow.
Unknown
inv-rconc
[@1: The cow eats the cow.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cow" "eats" "cow" "-")
The cow chases the cow.
Unknown
random
[@0: The cow chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "cow" "+")
The mouse does not see the mouse.
Unknown
inv-random
[@0: The mouse sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "mouse" "-")
The cow sees the cow.
Unknown
random
[@0: The cow sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "cow" "+")
@0: The cow chases the mouse.[(triple1 OR ((triple2) -> rule1) OR ((triple2 triple9) -> rule2) OR ((triple2 ((triple10) -> rule3)) -> rule2))] The cow eats the mouse.[(triple2)] The cow is nice.[(triple3)] The cow is red.[(triple4)] The cow is rough.[(triple5 OR ((triple7 triple8) -> rule6))] The cow is round.[(triple6)] The cow sees the mouse.[(triple7)] The mouse chases the cow.[(triple8)] The mouse eats the cow.[(triple9 OR ((triple10) -> rule3))] The mouse is green.[(triple10)] The mouse is nice.[(triple11)] The mouse is red.[(triple12)] The mouse is rough.[(triple13)] The mouse is round.[(triple14)] The mouse sees the cow.[(triple15)] @1: The mouse eats the mouse.[(((triple10) -> rule5))] @2: The mouse chases the mouse.[(((((triple10) -> rule5) triple9) -> rule2) OR ((((triple10) -> rule5) ((triple10) -> rule3)) -> rule2))]
The cow chases the mouse.
("cow" "chases" "mouse" "+")
triple1
((triple2) -> (rule1 % int1))
The cow chases the mouse.
("cow" "chases" "mouse" "+")
int1
((triple2 triple9) -> (rule2 % int1))
The cow chases the mouse.
("cow" "chases" "mouse" "+")
int1
((triple2 ((triple10) -> (rule3 % int2))) -> (rule2 % int1))
The cow chases the mouse.
("cow" "chases" "mouse" "+")
int1
The mouse eats the cow.
("mouse" "eats" "cow" "+")
int2
The cow eats the mouse.
("cow" "eats" "mouse" "+")
triple2
The cow is nice.
("cow" "is" "nice" "+")
triple3
The cow is red.
("cow" "is" "red" "+")
triple4
The cow is rough.
("cow" "is" "rough" "+")
triple5
((triple7 triple8) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is round.
("cow" "is" "round" "+")
triple6
The cow sees the mouse.
("cow" "sees" "mouse" "+")
triple7
The mouse chases the cow.
("mouse" "chases" "cow" "+")
triple8
The mouse eats the cow.
("mouse" "eats" "cow" "+")
triple9
((triple10) -> (rule3 % int1))
The mouse eats the cow.
("mouse" "eats" "cow" "+")
int1
The mouse is green.
("mouse" "is" "green" "+")
triple10
The mouse is nice.
("mouse" "is" "nice" "+")
triple11
The mouse is red.
("mouse" "is" "red" "+")
triple12
The mouse is rough.
("mouse" "is" "rough" "+")
triple13
The mouse is round.
("mouse" "is" "round" "+")
triple14
The mouse sees the cow.
("mouse" "sees" "cow" "+")
triple15
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
((triple10) -> (rule5 % int1))
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int1
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
((((triple10) -> (rule5 % int2)) triple9) -> (rule2 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int2
((((triple10) -> (rule5 % int3)) ((triple10) -> (rule3 % int2))) -> (rule2 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse eats the cow.
("mouse" "eats" "cow" "+")
int2
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int3