The cow is nice. If something is green and big then it is not round. If the cow is green and the cow is kind then the cow is round. Green, nice things are kind. If something is nice then it is kind. If something is kind then it is green. If the cow is kind then the cow is green.
The cow is nice.
("cow" "is" "nice" "+")
If something is green and big then it is not round.
((("something" "is" "green" "+") ("something" "is" "big" "+")) -> ("something" "is" "round" "-"))
If the cow is green and the cow is kind then the cow is round.
((("cow" "is" "green" "+") ("cow" "is" "kind" "+")) -> ("cow" "is" "round" "+"))
Green, nice things are kind.
((("something" "is" "green" "+") ("something" "is" "nice" "+")) -> ("something" "is" "kind" "+"))
If something is nice then it is kind.
((("something" "is" "nice" "+")) -> ("something" "is" "kind" "+"))
If something is kind then it is green.
((("something" "is" "kind" "+")) -> ("something" "is" "green" "+"))
If the cow is kind then the cow is green.
((("cow" "is" "kind" "+")) -> ("cow" "is" "green" "+"))
The cow is nice.
True
1
proof
[(triple1)]
("cow" "is" "nice" "+")
triple1
The cow is not nice.
False
1
inv-proof
[(triple1)]
("cow" "is" "nice" "-")
triple1
The cow is kind.
True
2
proof
[(((triple1) -> rule4))]
("cow" "is" "kind" "+")
((triple1) -> (rule4 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow is not kind.
False
2
inv-proof
[(((triple1) -> rule4))]
("cow" "is" "kind" "-")
((triple1) -> (rule4 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow is green.
True
3
proof
[(((((triple1) -> rule4)) -> rule5) OR ((((triple1) -> rule4)) -> rule6))]
("cow" "is" "green" "+")
((((triple1) -> (rule4 % int2))) -> (rule5 % int1))
The cow is green.
("cow" "is" "green" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
((((triple1) -> (rule4 % int2))) -> (rule6 % int1))
The cow is green.
("cow" "is" "green" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
The cow is not green.
False
3
inv-proof
[(((((triple1) -> rule4)) -> rule5) OR ((((triple1) -> rule4)) -> rule6))]
("cow" "is" "green" "-")
((((triple1) -> (rule4 % int2))) -> (rule5 % int1))
The cow is green.
("cow" "is" "green" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
((((triple1) -> (rule4 % int2))) -> (rule6 % int1))
The cow is green.
("cow" "is" "green" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
The cow does not like the cow.
Unknown
inv-random
[@0: The cow likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "cow" "-")
The cow is big.
Unknown
random
[@0: The cow is big.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "big" "+")
The cow does not chase the cow.
Unknown
inv-random
[@0: The cow chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "cow" "-")
The cow needs the cow.
Unknown
random
[@0: The cow needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "cow" "+")
@0: The cow is nice.[(triple1)] @1: The cow is kind.[(((triple1) -> rule4))] @2: The cow is green.[(((((triple1) -> rule4)) -> rule5) OR ((((triple1) -> rule4)) -> rule6))] @3: The cow is round.[(((((((triple1) -> rule4)) -> rule5) ((triple1) -> rule4)) -> rule2) OR ((((((triple1) -> rule4)) -> rule6) ((triple1) -> rule4)) -> rule2))]
The cow is nice.
("cow" "is" "nice" "+")
triple1
The cow is kind.
("cow" "is" "kind" "+")
((triple1) -> (rule4 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow is green.
("cow" "is" "green" "+")
((((triple1) -> (rule4 % int2))) -> (rule5 % int1))
The cow is green.
("cow" "is" "green" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
((((triple1) -> (rule4 % int2))) -> (rule6 % int1))
The cow is green.
("cow" "is" "green" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
The cow is round.
("cow" "is" "round" "+")
((((((triple1) -> (rule4 % int3))) -> (rule5 % int2)) ((triple1) -> (rule4 % int3))) -> (rule2 % int1))
The cow is round.
("cow" "is" "round" "+")
int1
The cow is green.
("cow" "is" "green" "+")
int2
The cow is kind.
("cow" "is" "kind" "+")
int3
((((((triple1) -> (rule4 % int3))) -> (rule6 % int2)) ((triple1) -> (rule4 % int3))) -> (rule2 % int1))
The cow is round.
("cow" "is" "round" "+")
int1
The cow is green.
("cow" "is" "green" "+")
int2
The cow is kind.
("cow" "is" "kind" "+")
int3