The cow is blue. The cow is green. The cow is kind. The cow is not nice. The cow is round. The cow likes the squirrel. The cow sees the squirrel. The cow visits the squirrel. The squirrel is not blue. The squirrel is green. The squirrel is kind. The squirrel is nice. The squirrel is round. The squirrel likes the cow. The squirrel sees the cow. The squirrel visits the cow. If something is kind and not blue then it does not see the squirrel. If something sees the squirrel and it likes the cow then it visits the cow. If something is nice and it visits the squirrel then it is not round. If something visits the squirrel then it likes the cow. If something likes the squirrel then it sees the cow. If the squirrel does not like the cow then the cow does not like the squirrel. If something visits the cow and it is green then the cow likes the squirrel. If something likes the squirrel then it is green.
The cow is blue.
("cow" "is" "blue" "+")
The cow is green.
("cow" "is" "green" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow is not nice.
("cow" "is" "nice" "-")
The cow is round.
("cow" "is" "round" "+")
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
The squirrel is not blue.
("squirrel" "is" "blue" "-")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
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 something is kind and not blue then it does not see the squirrel.
((("something" "is" "kind" "+") ("something" "is" "blue" "~")) -> ("something" "sees" "squirrel" "-"))
If something sees the squirrel and it likes the cow then it visits the cow.
((("something" "sees" "squirrel" "+") ("something" "likes" "cow" "+")) -> ("something" "visits" "cow" "+"))
If something is nice and it visits the squirrel then it is not round.
((("something" "is" "nice" "+") ("something" "visits" "squirrel" "+")) -> ("something" "is" "round" "-"))
If something visits the squirrel then it likes the cow.
((("something" "visits" "squirrel" "+")) -> ("something" "likes" "cow" "+"))
If something likes the squirrel then it sees the cow.
((("something" "likes" "squirrel" "+")) -> ("something" "sees" "cow" "+"))
If the squirrel does not like the cow then the cow does not like the squirrel.
((("squirrel" "likes" "cow" "~")) -> ("cow" "likes" "squirrel" "-"))
If something visits the cow and it is green then the cow likes the squirrel.
((("something" "visits" "cow" "+") ("something" "is" "green" "+")) -> ("cow" "likes" "squirrel" "+"))
If something likes the squirrel then it is green.
((("something" "likes" "squirrel" "+")) -> ("something" "is" "green" "+"))
The cow is green.
True
1
proof
[(triple2 OR ((triple6) -> rule8) OR ((((triple16 triple10) -> rule7)) -> rule8))]
("cow" "is" "green" "+")
triple2
((triple6) -> (rule8 % int1))
The cow is green.
("cow" "is" "green" "+")
int1
((((triple16 triple10) -> (rule7 % int2))) -> (rule8 % int1))
The cow is green.
("cow" "is" "green" "+")
int1
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
int2
The cow is not round.
False
1
inv-proof
[(triple5)]
("cow" "is" "round" "-")
triple5
The cow sees the cow.
True
2
proof
[(((triple6) -> rule5) OR ((((triple16 triple10) -> rule7)) -> rule5) OR ((((((triple7 ((triple8) -> rule4)) -> rule2) triple2) -> rule7)) -> rule5))]
("cow" "sees" "cow" "+")
((triple6) -> (rule5 % int1))
The cow sees the cow.
("cow" "sees" "cow" "+")
int1
((((triple16 triple10) -> (rule7 % int2))) -> (rule5 % int1))
The cow sees the cow.
("cow" "sees" "cow" "+")
int1
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
int2
((((((triple7 ((triple8) -> (rule4 % int4))) -> (rule2 % int3)) triple2) -> (rule7 % int2))) -> (rule5 % int1))
The cow sees the cow.
("cow" "sees" "cow" "+")
int1
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
int2
The cow visits the cow.
("cow" "visits" "cow" "+")
int3
The cow likes the cow.
("cow" "likes" "cow" "+")
int4
The cow does not like the cow.
False
2
inv-proof
[(((triple8) -> rule4))]
("cow" "likes" "cow" "-")
((triple8) -> (rule4 % int1))
The cow likes the cow.
("cow" "likes" "cow" "+")
int1
The cow visits the cow.
True
4
proof
[(((triple7 ((triple8) -> rule4)) -> rule2))]
("cow" "visits" "cow" "+")
((triple7 ((triple8) -> (rule4 % int2))) -> (rule2 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The cow likes the cow.
("cow" "likes" "cow" "+")
int2
The cow does not visit the cow.
False
4
inv-proof
[(((triple7 ((triple8) -> rule4)) -> rule2))]
("cow" "visits" "cow" "-")
((triple7 ((triple8) -> (rule4 % int2))) -> (rule2 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The cow likes the cow.
("cow" "likes" "cow" "+")
int2
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 is blue.[(triple1)] The cow is green.[(triple2 OR ((triple6) -> rule8) OR ((((triple16 triple10) -> rule7)) -> rule8))] The cow is kind.[(triple3)] The cow is not nice.[(triple4)] The cow is round.[(triple5)] The cow likes the squirrel.[(triple6 OR ((triple16 triple10) -> rule7) OR ((((triple7 ((triple8) -> rule4)) -> rule2) triple2) -> rule7))] The cow sees the squirrel.[(triple7)] The cow visits the squirrel.[(triple8)] The squirrel is green.[(triple10)] The squirrel is kind.[(triple11)] The squirrel is nice.[(triple12)] The squirrel is not blue.[(triple9)] The squirrel is round.[(triple13)] The squirrel likes the cow.[(triple14)] The squirrel sees the cow.[(triple15)] The squirrel visits the cow.[(triple16)] @1: The cow likes the cow.[(((triple8) -> rule4))] The cow sees the cow.[(((triple6) -> rule5) OR ((((triple16 triple10) -> rule7)) -> rule5) OR ((((((triple7 ((triple8) -> rule4)) -> rule2) triple2) -> rule7)) -> rule5))] The squirrel does not see the squirrel.[(((triple11 triple9) -> rule1))] @2: The cow visits the cow.[(((triple7 ((triple8) -> rule4)) -> rule2))]
The cow is blue.
("cow" "is" "blue" "+")
triple1
The cow is green.
("cow" "is" "green" "+")
triple2
((triple6) -> (rule8 % int1))
The cow is green.
("cow" "is" "green" "+")
int1
((((triple16 triple10) -> (rule7 % int2))) -> (rule8 % int1))
The cow is green.
("cow" "is" "green" "+")
int1
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
int2
The cow is kind.
("cow" "is" "kind" "+")
triple3
The cow is not nice.
("cow" "is" "nice" "-")
triple4
The cow is round.
("cow" "is" "round" "+")
triple5
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
triple6
((triple16 triple10) -> (rule7 % int1))
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
int1
((((triple7 ((triple8) -> (rule4 % int3))) -> (rule2 % int2)) triple2) -> (rule7 % int1))
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
int1
The cow visits the cow.
("cow" "visits" "cow" "+")
int2
The cow likes the cow.
("cow" "likes" "cow" "+")
int3
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
triple7
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
triple8
The squirrel is green.
("squirrel" "is" "green" "+")
triple10
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple11
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple12
The squirrel is not blue.
("squirrel" "is" "blue" "-")
triple9
The squirrel is round.
("squirrel" "is" "round" "+")
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 likes the cow.
("cow" "likes" "cow" "+")
((triple8) -> (rule4 % int1))
The cow likes the cow.
("cow" "likes" "cow" "+")
int1
The cow sees the cow.
("cow" "sees" "cow" "+")
((triple6) -> (rule5 % int1))
The cow sees the cow.
("cow" "sees" "cow" "+")
int1
((((triple16 triple10) -> (rule7 % int2))) -> (rule5 % int1))
The cow sees the cow.
("cow" "sees" "cow" "+")
int1
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
int2
((((((triple7 ((triple8) -> (rule4 % int4))) -> (rule2 % int3)) triple2) -> (rule7 % int2))) -> (rule5 % int1))
The cow sees the cow.
("cow" "sees" "cow" "+")
int1
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
int2
The cow visits the cow.
("cow" "visits" "cow" "+")
int3
The cow likes the cow.
("cow" "likes" "cow" "+")
int4
The squirrel does not see the squirrel.
("squirrel" "sees" "squirrel" "-")
((triple11 triple9) -> (rule1 % int1))
The squirrel does not see the squirrel.
("squirrel" "sees" "squirrel" "-")
int1
The cow visits the cow.
("cow" "visits" "cow" "+")
((triple7 ((triple8) -> (rule4 % int2))) -> (rule2 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The cow likes the cow.
("cow" "likes" "cow" "+")
int2