The cow is blue. The cow is cold. The cow is kind. The cow is nice. The cow is rough. The cow likes the squirrel. The cow does not see the squirrel. The cow visits the squirrel. The squirrel is blue. The squirrel is cold. The squirrel is kind. The squirrel is nice. The squirrel is not rough. The squirrel likes the cow. The squirrel sees the cow. The squirrel visits the cow. If someone visits the squirrel and the squirrel is cold then they see the cow. If someone visits the squirrel and they see the squirrel then the squirrel likes the cow.
The cow is blue.
("cow" "is" "blue" "+")
The cow is cold.
("cow" "is" "cold" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
The cow does not see the squirrel.
("cow" "sees" "squirrel" "-")
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel is not rough.
("squirrel" "is" "rough" "-")
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
If someone visits the squirrel and the squirrel is cold then they see the cow.
((("someone" "visits" "squirrel" "+") ("squirrel" "is" "cold" "+")) -> ("someone" "sees" "cow" "+"))
If someone visits the squirrel and they see the squirrel then the squirrel likes the cow.
((("someone" "visits" "squirrel" "+") ("someone" "sees" "squirrel" "+")) -> ("squirrel" "likes" "cow" "+"))
The squirrel is cold.
True
1
proof
[(triple10)]
("squirrel" "is" "cold" "+")
triple10
The squirrel is not blue.
False
1
inv-proof
[(triple9)]
("squirrel" "is" "blue" "-")
triple9
The cow sees the cow.
True
3
proof
[(((triple8 triple10) -> rule1))]
("cow" "sees" "cow" "+")
((triple8 triple10) -> (rule1 % int1))
The cow sees the cow.
("cow" "sees" "cow" "+")
int1
The cow does not see the cow.
False
3
inv-proof
[(((triple8 triple10) -> rule1))]
("cow" "sees" "cow" "-")
((triple8 triple10) -> (rule1 % int1))
The cow sees the cow.
("cow" "sees" "cow" "+")
int1
The cow does not visit the cow.
Unknown
inv-random
[@0: The cow visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "cow" "-")
The cow likes the cow.
Unknown
random
[@0: The cow likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "cow" "+")
The squirrel does not visit the squirrel.
Unknown
inv-random
[@0: The squirrel visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "squirrel" "-")
The squirrel likes the squirrel.
Unknown
random
[@0: The squirrel likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "squirrel" "+")
@0: The cow does not see the squirrel.[(triple7)] The cow is blue.[(triple1)] The cow is cold.[(triple2)] The cow is kind.[(triple3)] The cow is nice.[(triple4)] The cow is rough.[(triple5)] The cow likes the squirrel.[(triple6)] The cow visits the squirrel.[(triple8)] The squirrel is blue.[(triple9)] The squirrel is cold.[(triple10)] The squirrel is kind.[(triple11)] The squirrel is nice.[(triple12)] The squirrel is not rough.[(triple13)] The squirrel likes the cow.[(triple14)] The squirrel sees the cow.[(triple15)] The squirrel visits the cow.[(triple16)] @1: The cow sees the cow.[(((triple8 triple10) -> rule1))]
The cow does not see the squirrel.
("cow" "sees" "squirrel" "-")
triple7
The cow is blue.
("cow" "is" "blue" "+")
triple1
The cow is cold.
("cow" "is" "cold" "+")
triple2
The cow is kind.
("cow" "is" "kind" "+")
triple3
The cow is nice.
("cow" "is" "nice" "+")
triple4
The cow is rough.
("cow" "is" "rough" "+")
triple5
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
triple6
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
triple8
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple9
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple10
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple11
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple12
The squirrel is not rough.
("squirrel" "is" "rough" "-")
triple13
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
triple14
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
triple15
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
triple16
The cow sees the cow.
("cow" "sees" "cow" "+")
((triple8 triple10) -> (rule1 % int1))
The cow sees the cow.
("cow" "sees" "cow" "+")
int1