The cow eats the squirrel. The cow is big. The cow is blue. The cow is cold. The cow is nice. The cow is rough. The cow sees the squirrel. The cow visits the squirrel. The squirrel eats the cow. The squirrel is blue. The squirrel sees the cow. The squirrel visits the cow. If someone is blue then they visit the squirrel. If someone is big then they visit the cow. If someone is rough and blue then they visit the cow. If someone is rough then they visit the squirrel. If the cow is rough then the cow is cold. If someone eats the squirrel then they visit the squirrel. If someone visits the cow then they see the squirrel. If someone is cold then they visit the cow.
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
The cow is big.
("cow" "is" "big" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow is cold.
("cow" "is" "cold" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
If someone is blue then they visit the squirrel.
((("someone" "is" "blue" "+")) -> ("someone" "visits" "squirrel" "+"))
If someone is big then they visit the cow.
((("someone" "is" "big" "+")) -> ("someone" "visits" "cow" "+"))
If someone is rough and blue then they visit the cow.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "visits" "cow" "+"))
If someone is rough then they visit the squirrel.
((("someone" "is" "rough" "+")) -> ("someone" "visits" "squirrel" "+"))
If the cow is rough then the cow is cold.
((("cow" "is" "rough" "+")) -> ("cow" "is" "cold" "+"))
If someone eats the squirrel then they visit the squirrel.
((("someone" "eats" "squirrel" "+")) -> ("someone" "visits" "squirrel" "+"))
If someone visits the cow then they see the squirrel.
((("someone" "visits" "cow" "+")) -> ("someone" "sees" "squirrel" "+"))
If someone is cold then they visit the cow.
((("someone" "is" "cold" "+")) -> ("someone" "visits" "cow" "+"))
The cow is nice.
True
1
proof
[(triple5)]
("cow" "is" "nice" "+")
triple5
The cow is not rough.
False
1
inv-proof
[(triple6)]
("cow" "is" "rough" "-")
triple6
The squirrel visits the squirrel.
True
2
proof
[(((triple10) -> rule1))]
("squirrel" "visits" "squirrel" "+")
((triple10) -> (rule1 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The cow does not visit the cow.
False
2
inv-proof
[(((triple2) -> rule2) OR ((triple4) -> rule8) OR ((triple6 triple3) -> rule3) OR ((((triple6) -> rule5)) -> rule8))]
("cow" "visits" "cow" "-")
((triple2) -> (rule2 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
((triple4) -> (rule8 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
((triple6 triple3) -> (rule3 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
((((triple6) -> (rule5 % int2))) -> (rule8 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The cow is cold.
("cow" "is" "cold" "+")
int2
The squirrel is not nice.
Unknown
inv-random
[@0: The squirrel is nice.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "nice" "-")
The squirrel is cold.
Unknown
random
[@0: The squirrel is cold.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "cold" "+")
The squirrel is not big.
Unknown
inv-random
[@0: The squirrel is big.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "big" "-")
The squirrel is rough.
Unknown
random
[@0: The squirrel is rough.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "rough" "+")
@0: The cow eats the squirrel.[(triple1)] The cow is big.[(triple2)] The cow is blue.[(triple3)] The cow is cold.[(triple4 OR ((triple6) -> rule5))] The cow is nice.[(triple5)] The cow is rough.[(triple6)] The cow sees the squirrel.[(triple7 OR ((((triple2) -> rule2)) -> rule7) OR ((((triple4) -> rule8)) -> rule7) OR ((((triple6 triple3) -> rule3)) -> rule7) OR ((((((triple6) -> rule5)) -> rule8)) -> rule7))] The cow visits the squirrel.[(triple8 OR ((triple1) -> rule6) OR ((triple3) -> rule1) OR ((triple6) -> rule4))] The squirrel eats the cow.[(triple9)] The squirrel is blue.[(triple10)] The squirrel sees the cow.[(triple11)] The squirrel visits the cow.[(triple12)] @1: The cow visits the cow.[(((triple2) -> rule2) OR ((triple4) -> rule8) OR ((triple6 triple3) -> rule3) OR ((((triple6) -> rule5)) -> rule8))] The squirrel sees the squirrel.[(((triple12) -> rule7))] The squirrel visits the squirrel.[(((triple10) -> rule1))]
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
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
((triple6) -> (rule5 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1
The cow is nice.
("cow" "is" "nice" "+")
triple5
The cow is rough.
("cow" "is" "rough" "+")
triple6
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
triple7
((((triple2) -> (rule2 % int2))) -> (rule7 % int1))
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
int1
The cow visits the cow.
("cow" "visits" "cow" "+")
int2
((((triple4) -> (rule8 % int2))) -> (rule7 % int1))
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
int1
The cow visits the cow.
("cow" "visits" "cow" "+")
int2
((((triple6 triple3) -> (rule3 % int2))) -> (rule7 % int1))
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
int1
The cow visits the cow.
("cow" "visits" "cow" "+")
int2
((((((triple6) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
int1
The cow visits the cow.
("cow" "visits" "cow" "+")
int2
The cow is cold.
("cow" "is" "cold" "+")
int3
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
triple8
((triple1) -> (rule6 % int1))
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
int1
((triple3) -> (rule1 % int1))
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
int1
((triple6) -> (rule4 % int1))
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
int1
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
triple9
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple10
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
triple11
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
triple12
The cow visits the cow.
("cow" "visits" "cow" "+")
((triple2) -> (rule2 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
((triple4) -> (rule8 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
((triple6 triple3) -> (rule3 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
((((triple6) -> (rule5 % int2))) -> (rule8 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The cow is cold.
("cow" "is" "cold" "+")
int2
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
((triple12) -> (rule7 % int1))
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int1
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
((triple10) -> (rule1 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1