The cow is green. The cow is not kind. The cow is nice. The cow is red. The cow is round. Round, green things are red. All round, nice things are red. If something is round and not kind then it is red. All kind things are not green. All round things are green. All nice things are green. If the cow is green then the cow is red. If something is nice then it is round.
The cow is green.
("cow" "is" "green" "+")
The cow is not kind.
("cow" "is" "kind" "-")
The cow is nice.
("cow" "is" "nice" "+")
The cow is red.
("cow" "is" "red" "+")
The cow is round.
("cow" "is" "round" "+")
Round, green things are red.
((("something" "is" "round" "+") ("something" "is" "green" "+")) -> ("something" "is" "red" "+"))
All round, nice things are red.
((("something" "is" "round" "+") ("something" "is" "nice" "+")) -> ("something" "is" "red" "+"))
If something is round and not kind then it is red.
((("something" "is" "round" "+") ("something" "is" "kind" "~")) -> ("something" "is" "red" "+"))
All kind things are not green.
((("something" "is" "kind" "+")) -> ("something" "is" "green" "-"))
All round things are green.
((("something" "is" "round" "+")) -> ("something" "is" "green" "+"))
All nice things are green.
((("something" "is" "nice" "+")) -> ("something" "is" "green" "+"))
If the cow is green then the cow is red.
((("cow" "is" "green" "+")) -> ("cow" "is" "red" "+"))
If something is nice then it is round.
((("something" "is" "nice" "+")) -> ("something" "is" "round" "+"))
The cow is green.
True
1
proof
[(triple1 OR ((triple3) -> rule6) OR ((triple5) -> rule5) OR ((((triple3) -> rule8)) -> rule5))]
("cow" "is" "green" "+")
triple1
((triple3) -> (rule6 % int1))
The cow is green.
("cow" "is" "green" "+")
int1
((triple5) -> (rule5 % int1))
The cow is green.
("cow" "is" "green" "+")
int1
((((triple3) -> (rule8 % int2))) -> (rule5 % int1))
The cow is green.
("cow" "is" "green" "+")
int1
The cow is round.
("cow" "is" "round" "+")
int2
The cow is not green.
False
1
inv-proof
[(triple1 OR ((triple3) -> rule6) OR ((triple5) -> rule5) OR ((((triple3) -> rule8)) -> rule5))]
("cow" "is" "green" "-")
triple1
((triple3) -> (rule6 % int1))
The cow is green.
("cow" "is" "green" "+")
int1
((triple5) -> (rule5 % int1))
The cow is green.
("cow" "is" "green" "+")
int1
((((triple3) -> (rule8 % int2))) -> (rule5 % int1))
The cow is green.
("cow" "is" "green" "+")
int1
The cow is round.
("cow" "is" "round" "+")
int2
The cow does not need the cow.
Unknown
inv-random
[@0: The cow needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "cow" "-")
The cow eats the cow.
Unknown
random
[@0: The cow eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "cow" "+")
@0: The cow is green.[(triple1 OR ((triple3) -> rule6) OR ((triple5) -> rule5) OR ((((triple3) -> rule8)) -> rule5))] The cow is nice.[(triple3)] The cow is not kind.[(triple2)] The cow is red.[(triple4 OR ((triple1) -> rule7) OR ((triple5 triple1) -> rule1) OR ((triple5 triple2) -> rule3) OR ((triple5 triple3) -> rule2) OR ((((triple3) -> rule6)) -> rule7) OR ((((triple5) -> rule5)) -> rule7) OR ((triple5 ((triple3) -> rule6)) -> rule1) OR ((triple5 ((triple5) -> rule5)) -> rule1) OR ((((triple3) -> rule8) triple1) -> rule1) OR ((((triple3) -> rule8) triple2) -> rule3) OR ((((triple3) -> rule8) triple3) -> rule2) OR ((((triple3) -> rule8) ((triple3) -> rule6)) -> rule1) OR ((((triple3) -> rule8) ((triple5) -> rule5)) -> rule1) OR ((((((triple3) -> rule8)) -> rule5)) -> rule7) OR ((triple5 ((((triple3) -> rule8)) -> rule5)) -> rule1) OR ((((triple3) -> rule8) ((((triple3) -> rule8)) -> rule5)) -> rule1))] The cow is round.[(triple5 OR ((triple3) -> rule8))]
The cow is green.
("cow" "is" "green" "+")
triple1
((triple3) -> (rule6 % int1))
The cow is green.
("cow" "is" "green" "+")
int1
((triple5) -> (rule5 % int1))
The cow is green.
("cow" "is" "green" "+")
int1
((((triple3) -> (rule8 % int2))) -> (rule5 % int1))
The cow is green.
("cow" "is" "green" "+")
int1
The cow is round.
("cow" "is" "round" "+")
int2
The cow is nice.
("cow" "is" "nice" "+")
triple3
The cow is not kind.
("cow" "is" "kind" "-")
triple2
The cow is red.
("cow" "is" "red" "+")
triple4
((triple1) -> (rule7 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
((triple5 triple1) -> (rule1 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
((triple5 triple2) -> (rule3 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
((triple5 triple3) -> (rule2 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
((((triple3) -> (rule6 % int2))) -> (rule7 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is green.
("cow" "is" "green" "+")
int2
((((triple5) -> (rule5 % int2))) -> (rule7 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is green.
("cow" "is" "green" "+")
int2
((triple5 ((triple3) -> (rule6 % int2))) -> (rule1 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is green.
("cow" "is" "green" "+")
int2
((triple5 ((triple5) -> (rule5 % int2))) -> (rule1 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is green.
("cow" "is" "green" "+")
int2
((((triple3) -> (rule8 % int2)) triple1) -> (rule1 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is round.
("cow" "is" "round" "+")
int2
((((triple3) -> (rule8 % int2)) triple2) -> (rule3 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is round.
("cow" "is" "round" "+")
int2
((((triple3) -> (rule8 % int2)) triple3) -> (rule2 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is round.
("cow" "is" "round" "+")
int2
((((triple3) -> (rule8 % int3)) ((triple3) -> (rule6 % int2))) -> (rule1 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is green.
("cow" "is" "green" "+")
int2
The cow is round.
("cow" "is" "round" "+")
int3
((((triple3) -> (rule8 % int3)) ((triple5) -> (rule5 % int2))) -> (rule1 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is green.
("cow" "is" "green" "+")
int2
The cow is round.
("cow" "is" "round" "+")
int3
((((((triple3) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is green.
("cow" "is" "green" "+")
int2
The cow is round.
("cow" "is" "round" "+")
int3
((triple5 ((((triple3) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is green.
("cow" "is" "green" "+")
int2
The cow is round.
("cow" "is" "round" "+")
int3
((((triple3) -> (rule8 % int3)) ((((triple3) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is green.
("cow" "is" "green" "+")
int2
The cow is round.
("cow" "is" "round" "+")
int3
The cow is round.
("cow" "is" "round" "+")
triple5
((triple3) -> (rule8 % int1))
The cow is round.
("cow" "is" "round" "+")
int1