The cow is big. The cow likes the squirrel. The cow needs the squirrel. The cow does not see the squirrel. The squirrel is not big. The squirrel is green. The squirrel is kind. The squirrel likes the cow. The squirrel does not need the cow. The squirrel sees the cow. If the squirrel is cold and the squirrel is not kind then the squirrel sees the cow. If someone likes the cow and the cow needs the squirrel then the cow is kind. If someone is kind and they do not like the cow then they need the cow. If someone is big and they do not see the cow then they like the squirrel. If someone likes the cow and they like the squirrel then they do not see the squirrel. If someone is kind and they do not see the squirrel then the squirrel is rough.
The cow is big.
("cow" "is" "big" "+")
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
The cow does not see the squirrel.
("cow" "sees" "squirrel" "-")
The squirrel is not big.
("squirrel" "is" "big" "-")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
The squirrel does not need the cow.
("squirrel" "needs" "cow" "-")
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
If the squirrel is cold and the squirrel is not kind then the squirrel sees the cow.
((("squirrel" "is" "cold" "+") ("squirrel" "is" "kind" "~")) -> ("squirrel" "sees" "cow" "+"))
If someone likes the cow and the cow needs the squirrel then the cow is kind.
((("someone" "likes" "cow" "+") ("cow" "needs" "squirrel" "+")) -> ("cow" "is" "kind" "+"))
If someone is kind and they do not like the cow then they need the cow.
((("someone" "is" "kind" "+") ("someone" "likes" "cow" "~")) -> ("someone" "needs" "cow" "+"))
If someone is big and they do not see the cow then they like the squirrel.
((("someone" "is" "big" "+") ("someone" "sees" "cow" "~")) -> ("someone" "likes" "squirrel" "+"))
If someone likes the cow and they like the squirrel then they do not see the squirrel.
((("someone" "likes" "cow" "+") ("someone" "likes" "squirrel" "+")) -> ("someone" "sees" "squirrel" "-"))
If someone is kind and they do not see the squirrel then the squirrel is rough.
((("someone" "is" "kind" "+") ("someone" "sees" "squirrel" "~")) -> ("squirrel" "is" "rough" "+"))
The cow needs the squirrel.
True
1
proof
[(triple3)]
("cow" "needs" "squirrel" "+")
triple3
The cow sees the squirrel.
False
1
inv-proof
[(triple4)]
("cow" "sees" "squirrel" "+")
triple4
The cow is kind.
True
3
proof
[(((triple8 triple3) -> rule2))]
("cow" "is" "kind" "+")
((triple8 triple3) -> (rule2 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow is not kind.
False
3
inv-proof
[(((triple8 triple3) -> rule2))]
("cow" "is" "kind" "-")
((triple8 triple3) -> (rule2 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The squirrel is rough.
True
5
proof
[(((((triple8 triple3) -> rule2) triple4) -> rule6))]
("squirrel" "is" "rough" "+")
((((triple8 triple3) -> (rule2 % int2)) triple4) -> (rule6 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
The squirrel is not rough.
False
5
inv-proof
[(((((triple8 triple3) -> rule2) triple4) -> rule6))]
("squirrel" "is" "rough" "-")
((((triple8 triple3) -> (rule2 % int2)) triple4) -> (rule6 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
The squirrel does not like the squirrel.
Unknown
inv-rconc
[@1: The squirrel likes the squirrel.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("squirrel" "likes" "squirrel" "-")
The cow needs the cow.
Unknown
rconc
[@1: The cow needs the cow.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cow" "needs" "cow" "+")
The cow is not rough.
Unknown
inv-random
[@0: The cow is rough.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "rough" "-")
The cow likes the cow.
Unknown
random
[@0: The cow likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "cow" "+")
The cow is not cold.
Unknown
inv-random
[@0: The cow is cold.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "cold" "-")
The squirrel is cold.
Unknown
random
[@0: The squirrel is cold.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "cold" "+")
@0: The cow does not see the squirrel.[(triple4)] The cow is big.[(triple1)] The cow likes the squirrel.[(triple2)] The cow needs the squirrel.[(triple3)] The squirrel does not need the cow.[(triple9)] The squirrel is green.[(triple6)] The squirrel is kind.[(triple7)] The squirrel is not big.[(triple5)] The squirrel likes the cow.[(triple8)] The squirrel sees the cow.[(triple10)] @1: The cow is kind.[(((triple8 triple3) -> rule2))] @2: The squirrel is rough.[(((((triple8 triple3) -> rule2) triple4) -> rule6))]
The cow does not see the squirrel.
("cow" "sees" "squirrel" "-")
triple4
The cow is big.
("cow" "is" "big" "+")
triple1
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
triple2
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
triple3
The squirrel does not need the cow.
("squirrel" "needs" "cow" "-")
triple9
The squirrel is green.
("squirrel" "is" "green" "+")
triple6
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple7
The squirrel is not big.
("squirrel" "is" "big" "-")
triple5
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
triple8
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
triple10
The cow is kind.
("cow" "is" "kind" "+")
((triple8 triple3) -> (rule2 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
((((triple8 triple3) -> (rule2 % int2)) triple4) -> (rule6 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2