The cow does not chase the mouse. The cow is big. The cow is blue. The cow is cold. The cow is red. The cow is not rough. The cow needs the mouse. The cow visits the mouse. The mouse does not chase the cow. The mouse is big. The mouse is blue. The mouse is red. The mouse is rough. The mouse needs the cow. The mouse does not visit the cow. If someone chases the cow then the cow chases the mouse. If someone visits the cow and they are cold then the cow chases the mouse. If someone chases the mouse then they are not cold. If someone is rough then they chase the mouse. If someone visits the mouse and they are not blue then they do not need the cow. If someone chases the mouse and they are not cold then they visit the mouse.
The cow does not chase the mouse.
("cow" "chases" "mouse" "-")
The cow is big.
("cow" "is" "big" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow is cold.
("cow" "is" "cold" "+")
The cow is red.
("cow" "is" "red" "+")
The cow is not rough.
("cow" "is" "rough" "-")
The cow needs the mouse.
("cow" "needs" "mouse" "+")
The cow visits the mouse.
("cow" "visits" "mouse" "+")
The mouse does not chase the cow.
("mouse" "chases" "cow" "-")
The mouse is big.
("mouse" "is" "big" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse needs the cow.
("mouse" "needs" "cow" "+")
The mouse does not visit the cow.
("mouse" "visits" "cow" "-")
If someone chases the cow then the cow chases the mouse.
((("someone" "chases" "cow" "+")) -> ("cow" "chases" "mouse" "+"))
If someone visits the cow and they are cold then the cow chases the mouse.
((("someone" "visits" "cow" "+") ("someone" "is" "cold" "+")) -> ("cow" "chases" "mouse" "+"))
If someone chases the mouse then they are not cold.
((("someone" "chases" "mouse" "+")) -> ("someone" "is" "cold" "-"))
If someone is rough then they chase the mouse.
((("someone" "is" "rough" "+")) -> ("someone" "chases" "mouse" "+"))
If someone visits the mouse and they are not blue then they do not need the cow.
((("someone" "visits" "mouse" "+") ("someone" "is" "blue" "~")) -> ("someone" "needs" "cow" "-"))
If someone chases the mouse and they are not cold then they visit the mouse.
((("someone" "chases" "mouse" "+") ("someone" "is" "cold" "~")) -> ("someone" "visits" "mouse" "+"))
The mouse is blue.
True
1
proof
[(triple11)]
("mouse" "is" "blue" "+")
triple11
The cow is rough.
False
1
inv-proof
[(triple6)]
("cow" "is" "rough" "+")
triple6
The mouse chases the mouse.
True
2
proof
[(((triple13) -> rule4))]
("mouse" "chases" "mouse" "+")
((triple13) -> (rule4 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse does not chase the mouse.
False
2
inv-proof
[(((triple13) -> rule4))]
("mouse" "chases" "mouse" "-")
((triple13) -> (rule4 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse is not cold.
True
3
proof
[(((((triple13) -> rule4)) -> rule3))]
("mouse" "is" "cold" "-")
((((triple13) -> (rule4 % int2))) -> (rule3 % int1))
The mouse is not cold.
("mouse" "is" "cold" "-")
int1
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int2
The mouse is cold.
False
3
inv-proof
[(((((triple13) -> rule4)) -> rule3))]
("mouse" "is" "cold" "+")
((((triple13) -> (rule4 % int2))) -> (rule3 % int1))
The mouse is not cold.
("mouse" "is" "cold" "-")
int1
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int2
The mouse visits the mouse.
True
6
proof
[(((((triple13) -> rule4) ((((triple13) -> rule4)) -> rule3)) -> rule6))]
("mouse" "visits" "mouse" "+")
((((triple13) -> (rule4 % int3)) ((((triple13) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int1
The mouse is not cold.
("mouse" "is" "cold" "-")
int2
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int3
The mouse does not visit the mouse.
False
6
inv-proof
[(((((triple13) -> rule4) ((((triple13) -> rule4)) -> rule3)) -> rule6))]
("mouse" "visits" "mouse" "-")
((((triple13) -> (rule4 % int3)) ((((triple13) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int1
The mouse is not cold.
("mouse" "is" "cold" "-")
int2
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int3
The cow does not need the cow.
Unknown
inv-random
[@0: The cow needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "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 need the mouse.
Unknown
inv-random
[@0: The mouse needs the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "needs" "mouse" "-")
The cow visits the cow.
Unknown
random
[@0: The cow visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "cow" "+")
@0: The cow does not chase the mouse.[(triple1)] The cow is big.[(triple2)] The cow is blue.[(triple3)] The cow is cold.[(triple4)] The cow is not rough.[(triple6)] The cow is red.[(triple5)] The cow needs the mouse.[(triple7)] The cow visits the mouse.[(triple8)] The mouse does not chase the cow.[(triple9)] The mouse does not visit the cow.[(triple15)] The mouse is big.[(triple10)] The mouse is blue.[(triple11)] The mouse is red.[(triple12)] The mouse is rough.[(triple13)] The mouse needs the cow.[(triple14)] @1: The mouse chases the mouse.[(((triple13) -> rule4))] @2: The mouse is not cold.[(((((triple13) -> rule4)) -> rule3))] @3: The mouse visits the mouse.[(((((triple13) -> rule4) ((((triple13) -> rule4)) -> rule3)) -> rule6))]
The cow does not chase the mouse.
("cow" "chases" "mouse" "-")
triple1
The cow is big.
("cow" "is" "big" "+")
triple2
The cow is blue.
("cow" "is" "blue" "+")
triple3
The cow is cold.
("cow" "is" "cold" "+")
triple4
The cow is not rough.
("cow" "is" "rough" "-")
triple6
The cow is red.
("cow" "is" "red" "+")
triple5
The cow needs the mouse.
("cow" "needs" "mouse" "+")
triple7
The cow visits the mouse.
("cow" "visits" "mouse" "+")
triple8
The mouse does not chase the cow.
("mouse" "chases" "cow" "-")
triple9
The mouse does not visit the cow.
("mouse" "visits" "cow" "-")
triple15
The mouse is big.
("mouse" "is" "big" "+")
triple10
The mouse is blue.
("mouse" "is" "blue" "+")
triple11
The mouse is red.
("mouse" "is" "red" "+")
triple12
The mouse is rough.
("mouse" "is" "rough" "+")
triple13
The mouse needs the cow.
("mouse" "needs" "cow" "+")
triple14
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
((triple13) -> (rule4 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse is not cold.
("mouse" "is" "cold" "-")
((((triple13) -> (rule4 % int2))) -> (rule3 % int1))
The mouse is not cold.
("mouse" "is" "cold" "-")
int1
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int2
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
((((triple13) -> (rule4 % int3)) ((((triple13) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int1
The mouse is not cold.
("mouse" "is" "cold" "-")
int2
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int3