The cow visits the squirrel. The squirrel eats the cow. The squirrel is cold. If the squirrel visits the cow then the cow eats the squirrel. If something eats the squirrel and it is round then the squirrel chases the cow. If something eats the squirrel then it chases the cow. If something chases the squirrel and the squirrel visits the cow then the squirrel eats the cow. If something chases the squirrel then the squirrel is rough. If the squirrel is rough then the squirrel chases the cow. If something chases the cow and it is rough then the cow eats the squirrel. If the squirrel eats the cow then the cow chases the squirrel.
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
If the squirrel visits the cow then the cow eats the squirrel.
((("squirrel" "visits" "cow" "+")) -> ("cow" "eats" "squirrel" "+"))
If something eats the squirrel and it is round then the squirrel chases the cow.
((("something" "eats" "squirrel" "+") ("something" "is" "round" "+")) -> ("squirrel" "chases" "cow" "+"))
If something eats the squirrel then it chases the cow.
((("something" "eats" "squirrel" "+")) -> ("something" "chases" "cow" "+"))
If something chases the squirrel and the squirrel visits the cow then the squirrel eats the cow.
((("something" "chases" "squirrel" "+") ("squirrel" "visits" "cow" "+")) -> ("squirrel" "eats" "cow" "+"))
If something chases the squirrel then the squirrel is rough.
((("something" "chases" "squirrel" "+")) -> ("squirrel" "is" "rough" "+"))
If the squirrel is rough then the squirrel chases the cow.
((("squirrel" "is" "rough" "+")) -> ("squirrel" "chases" "cow" "+"))
If something chases the cow and it is rough then the cow eats the squirrel.
((("something" "chases" "cow" "+") ("something" "is" "rough" "+")) -> ("cow" "eats" "squirrel" "+"))
If the squirrel eats the cow then the cow chases the squirrel.
((("squirrel" "eats" "cow" "+")) -> ("cow" "chases" "squirrel" "+"))
The cow visits the squirrel.
True
1
proof
[(triple1)]
("cow" "visits" "squirrel" "+")
triple1
The cow does not visit the squirrel.
False
1
inv-proof
[(triple1)]
("cow" "visits" "squirrel" "-")
triple1
The cow chases the squirrel.
True
2
proof
[(((triple2) -> rule8))]
("cow" "chases" "squirrel" "+")
((triple2) -> (rule8 % int1))
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int1
The cow does not chase the squirrel.
False
2
inv-proof
[(((triple2) -> rule8))]
("cow" "chases" "squirrel" "-")
((triple2) -> (rule8 % int1))
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int1
The squirrel is rough.
True
3
proof
[(((((triple2) -> rule8)) -> rule5))]
("squirrel" "is" "rough" "+")
((((triple2) -> (rule8 % int2))) -> (rule5 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int2
The squirrel is not rough.
False
3
inv-proof
[(((((triple2) -> rule8)) -> rule5))]
("squirrel" "is" "rough" "-")
((((triple2) -> (rule8 % int2))) -> (rule5 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int2
The cow is not rough.
Unknown
inv-random
[@0: The cow is rough.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "rough" "-")
The squirrel eats the squirrel.
Unknown
random
[@0: The squirrel eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "squirrel" "+")
The cow does not eat the cow.
Unknown
inv-random
[@0: The cow eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "cow" "-")
The squirrel is round.
Unknown
random
[@0: The squirrel is round.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "round" "+")
The cow is not round.
Unknown
inv-random
[@0: The cow is round.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "round" "-")
The cow is cold.
Unknown
random
[@0: The cow is cold.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "cold" "+")
@0: The cow visits the squirrel.[(triple1)] The squirrel eats the cow.[(triple2)] The squirrel is cold.[(triple3)] @1: The cow chases the squirrel.[(((triple2) -> rule8))] @2: The squirrel is rough.[(((((triple2) -> rule8)) -> rule5))] @3: The squirrel chases the cow.[(((((((triple2) -> rule8)) -> rule5)) -> rule6))] @4: The cow eats the squirrel.[(((((((((triple2) -> rule8)) -> rule5)) -> rule6) ((((triple2) -> rule8)) -> rule5)) -> rule7))] @5: The cow chases the cow.[(((((((((((triple2) -> rule8)) -> rule5)) -> rule6) ((((triple2) -> rule8)) -> rule5)) -> rule7)) -> rule3))]
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
triple1
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
triple2
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple3
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
((triple2) -> (rule8 % int1))
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
((((triple2) -> (rule8 % int2))) -> (rule5 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int2
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
((((((triple2) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
int2
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int3
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
((((((((triple2) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule6 % int2)) ((((triple2) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule7 % int1))
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
int1
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int2
The squirrel is rough.
("squirrel" "is" "rough" "+")
int3
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int4
The cow chases the cow.
("cow" "chases" "cow" "+")
((((((((((triple2) -> (rule8 % int5))) -> (rule5 % int4))) -> (rule6 % int3)) ((((triple2) -> (rule8 % int5))) -> (rule5 % int4))) -> (rule7 % int2))) -> (rule3 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
int2
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int3
The squirrel is rough.
("squirrel" "is" "rough" "+")
int4
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int5