The cow is cold. The cow is green. The cow is kind. The cow is nice. The cow is red. Green, red people are kind. All green, cold people are red. If the cow is green and the cow is cold then the cow is nice. Cold, green people are kind. All green people are cold. If someone is kind and red then they are nice.
The cow is cold.
("cow" "is" "cold" "+")
The cow is green.
("cow" "is" "green" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow is red.
("cow" "is" "red" "+")
Green, red people are kind.
((("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
All green, cold people are red.
((("someone" "is" "green" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If the cow is green and the cow is cold then the cow is nice.
((("cow" "is" "green" "+") ("cow" "is" "cold" "+")) -> ("cow" "is" "nice" "+"))
Cold, green people are kind.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
All green people are cold.
((("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If someone is kind and red then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
The cow is green.
True
1
proof
[(triple2)]
("cow" "is" "green" "+")
triple2
The cow is not nice.
False
1
inv-proof
[(triple4 OR ((triple2 triple1) -> rule3) OR ((triple3 triple5) -> rule6) OR ((triple2 ((triple2) -> rule5)) -> rule3) OR ((triple3 ((triple2 triple1) -> rule2)) -> rule6) OR ((((triple1 triple2) -> rule4) triple5) -> rule6) OR ((((triple2 triple5) -> rule1) triple5) -> rule6) OR ((((triple1 triple2) -> rule4) ((triple2 triple1) -> rule2)) -> rule6) OR ((((triple2 triple5) -> rule1) ((triple2 triple1) -> rule2)) -> rule6) OR ((triple3 ((triple2 ((triple2) -> rule5)) -> rule2)) -> rule6) OR ((((triple2 ((triple2 triple1) -> rule2)) -> rule1) triple5) -> rule6) OR ((((((triple2) -> rule5) triple2) -> rule4) triple5) -> rule6) OR ((((triple1 triple2) -> rule4) ((triple2 ((triple2) -> rule5)) -> rule2)) -> rule6) OR ((((triple2 triple5) -> rule1) ((triple2 ((triple2) -> rule5)) -> rule2)) -> rule6) OR ((((triple2 ((triple2 triple1) -> rule2)) -> rule1) ((triple2 triple1) -> rule2)) -> rule6) OR ((((((triple2) -> rule5) triple2) -> rule4) ((triple2 triple1) -> rule2)) -> rule6) OR ((((triple2 ((triple2 triple1) -> rule2)) -> rule1) ((triple2 ((triple2) -> rule5)) -> rule2)) -> rule6) OR ((((((triple2) -> rule5) triple2) -> rule4) ((triple2 ((triple2) -> rule5)) -> rule2)) -> rule6) OR ((((triple2 ((triple2 ((triple2) -> rule5)) -> rule2)) -> rule1) triple5) -> rule6) OR ((((triple2 ((triple2 ((triple2) -> rule5)) -> rule2)) -> rule1) ((triple2 triple1) -> rule2)) -> rule6) OR ((((triple2 ((triple2 ((triple2) -> rule5)) -> rule2)) -> rule1) ((triple2 ((triple2) -> rule5)) -> rule2)) -> rule6))]
("cow" "is" "nice" "-")
triple4
((triple2 triple1) -> (rule3 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
((triple3 triple5) -> (rule6 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
((triple2 ((triple2) -> (rule5 % int2))) -> (rule3 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
The cow is cold.
("cow" "is" "cold" "+")
int2
((triple3 ((triple2 triple1) -> (rule2 % int2))) -> (rule6 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
((((triple1 triple2) -> (rule4 % int2)) triple5) -> (rule6 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
((((triple2 triple5) -> (rule1 % int2)) triple5) -> (rule6 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
((((triple1 triple2) -> (rule4 % int3)) ((triple2 triple1) -> (rule2 % int2))) -> (rule6 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is kind.
("cow" "is" "kind" "+")
int3
((((triple2 triple5) -> (rule1 % int3)) ((triple2 triple1) -> (rule2 % int2))) -> (rule6 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is kind.
("cow" "is" "kind" "+")
int3
((triple3 ((triple2 ((triple2) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is cold.
("cow" "is" "cold" "+")
int3
((((triple2 ((triple2 triple1) -> (rule2 % int3))) -> (rule1 % int2)) triple5) -> (rule6 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
The cow is red.
("cow" "is" "red" "+")
int3
((((((triple2) -> (rule5 % int3)) triple2) -> (rule4 % int2)) triple5) -> (rule6 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
The cow is cold.
("cow" "is" "cold" "+")
int3
((((triple1 triple2) -> (rule4 % int4)) ((triple2 ((triple2) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is cold.
("cow" "is" "cold" "+")
int3
The cow is kind.
("cow" "is" "kind" "+")
int4
((((triple2 triple5) -> (rule1 % int4)) ((triple2 ((triple2) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is cold.
("cow" "is" "cold" "+")
int3
The cow is kind.
("cow" "is" "kind" "+")
int4
((((triple2 ((triple2 triple1) -> (rule2 % int3))) -> (rule1 % int2)) ((triple2 triple1) -> (rule2 % int3))) -> (rule6 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
The cow is red.
("cow" "is" "red" "+")
int3
((((((triple2) -> (rule5 % int4)) triple2) -> (rule4 % int3)) ((triple2 triple1) -> (rule2 % int2))) -> (rule6 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is kind.
("cow" "is" "kind" "+")
int3
The cow is cold.
("cow" "is" "cold" "+")
int4
((((triple2 ((triple2 triple1) -> (rule2 % int4))) -> (rule1 % int3)) ((triple2 ((triple2) -> (rule5 % int2))) -> (rule2 % int4))) -> (rule6 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
The cow is cold.
("cow" "is" "cold" "+")
int2
The cow is kind.
("cow" "is" "kind" "+")
int3
The cow is red.
("cow" "is" "red" "+")
int4
((((((triple2) -> (rule5 % int4)) triple2) -> (rule4 % int3)) ((triple2 ((triple2) -> (rule5 % int4))) -> (rule2 % int2))) -> (rule6 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is kind.
("cow" "is" "kind" "+")
int3
The cow is cold.
("cow" "is" "cold" "+")
int4
((((triple2 ((triple2 ((triple2) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) triple5) -> (rule6 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
The cow is red.
("cow" "is" "red" "+")
int3
The cow is cold.
("cow" "is" "cold" "+")
int4
((((triple2 ((triple2 ((triple2) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) ((triple2 triple1) -> (rule2 % int3))) -> (rule6 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
The cow is red.
("cow" "is" "red" "+")
int3
The cow is cold.
("cow" "is" "cold" "+")
int4
((((triple2 ((triple2 ((triple2) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) ((triple2 ((triple2) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule6 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
The cow is red.
("cow" "is" "red" "+")
int3
The cow is cold.
("cow" "is" "cold" "+")
int4
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 visits the cow.
Unknown
random
[@0: The cow visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "cow" "+")
@0: The cow is cold.[(triple1 OR ((triple2) -> rule5))] The cow is green.[(triple2)] The cow is kind.[(triple3 OR ((triple1 triple2) -> rule4) OR ((triple2 triple5) -> rule1) OR ((triple2 ((triple2 triple1) -> rule2)) -> rule1) OR ((((triple2) -> rule5) triple2) -> rule4) OR ((triple2 ((triple2 ((triple2) -> rule5)) -> rule2)) -> rule1))] The cow is nice.[(triple4 OR ((triple2 triple1) -> rule3) OR ((triple3 triple5) -> rule6) OR ((triple2 ((triple2) -> rule5)) -> rule3) OR ((triple3 ((triple2 triple1) -> rule2)) -> rule6) OR ((((triple1 triple2) -> rule4) triple5) -> rule6) OR ((((triple2 triple5) -> rule1) triple5) -> rule6) OR ((((triple1 triple2) -> rule4) ((triple2 triple1) -> rule2)) -> rule6) OR ((((triple2 triple5) -> rule1) ((triple2 triple1) -> rule2)) -> rule6) OR ((triple3 ((triple2 ((triple2) -> rule5)) -> rule2)) -> rule6) OR ((((triple2 ((triple2 triple1) -> rule2)) -> rule1) triple5) -> rule6) OR ((((((triple2) -> rule5) triple2) -> rule4) triple5) -> rule6) OR ((((triple1 triple2) -> rule4) ((triple2 ((triple2) -> rule5)) -> rule2)) -> rule6) OR ((((triple2 triple5) -> rule1) ((triple2 ((triple2) -> rule5)) -> rule2)) -> rule6) OR ((((triple2 ((triple2 triple1) -> rule2)) -> rule1) ((triple2 triple1) -> rule2)) -> rule6) OR ((((((triple2) -> rule5) triple2) -> rule4) ((triple2 triple1) -> rule2)) -> rule6) OR ((((triple2 ((triple2 triple1) -> rule2)) -> rule1) ((triple2 ((triple2) -> rule5)) -> rule2)) -> rule6) OR ((((((triple2) -> rule5) triple2) -> rule4) ((triple2 ((triple2) -> rule5)) -> rule2)) -> rule6) OR ((((triple2 ((triple2 ((triple2) -> rule5)) -> rule2)) -> rule1) triple5) -> rule6) OR ((((triple2 ((triple2 ((triple2) -> rule5)) -> rule2)) -> rule1) ((triple2 triple1) -> rule2)) -> rule6) OR ((((triple2 ((triple2 ((triple2) -> rule5)) -> rule2)) -> rule1) ((triple2 ((triple2) -> rule5)) -> rule2)) -> rule6))] The cow is red.[(triple5 OR ((triple2 triple1) -> rule2) OR ((triple2 ((triple2) -> rule5)) -> rule2))]
The cow is cold.
("cow" "is" "cold" "+")
triple1
((triple2) -> (rule5 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1
The cow is green.
("cow" "is" "green" "+")
triple2
The cow is kind.
("cow" "is" "kind" "+")
triple3
((triple1 triple2) -> (rule4 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
((triple2 triple5) -> (rule1 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
((triple2 ((triple2 triple1) -> (rule2 % int2))) -> (rule1 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
((((triple2) -> (rule5 % int2)) triple2) -> (rule4 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow is cold.
("cow" "is" "cold" "+")
int2
((triple2 ((triple2 ((triple2) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is cold.
("cow" "is" "cold" "+")
int3
The cow is nice.
("cow" "is" "nice" "+")
triple4
((triple2 triple1) -> (rule3 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
((triple3 triple5) -> (rule6 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
((triple2 ((triple2) -> (rule5 % int2))) -> (rule3 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
The cow is cold.
("cow" "is" "cold" "+")
int2
((triple3 ((triple2 triple1) -> (rule2 % int2))) -> (rule6 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
((((triple1 triple2) -> (rule4 % int2)) triple5) -> (rule6 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
((((triple2 triple5) -> (rule1 % int2)) triple5) -> (rule6 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
((((triple1 triple2) -> (rule4 % int3)) ((triple2 triple1) -> (rule2 % int2))) -> (rule6 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is kind.
("cow" "is" "kind" "+")
int3
((((triple2 triple5) -> (rule1 % int3)) ((triple2 triple1) -> (rule2 % int2))) -> (rule6 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is kind.
("cow" "is" "kind" "+")
int3
((triple3 ((triple2 ((triple2) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is cold.
("cow" "is" "cold" "+")
int3
((((triple2 ((triple2 triple1) -> (rule2 % int3))) -> (rule1 % int2)) triple5) -> (rule6 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
The cow is red.
("cow" "is" "red" "+")
int3
((((((triple2) -> (rule5 % int3)) triple2) -> (rule4 % int2)) triple5) -> (rule6 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
The cow is cold.
("cow" "is" "cold" "+")
int3
((((triple1 triple2) -> (rule4 % int4)) ((triple2 ((triple2) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is cold.
("cow" "is" "cold" "+")
int3
The cow is kind.
("cow" "is" "kind" "+")
int4
((((triple2 triple5) -> (rule1 % int4)) ((triple2 ((triple2) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is cold.
("cow" "is" "cold" "+")
int3
The cow is kind.
("cow" "is" "kind" "+")
int4
((((triple2 ((triple2 triple1) -> (rule2 % int3))) -> (rule1 % int2)) ((triple2 triple1) -> (rule2 % int3))) -> (rule6 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
The cow is red.
("cow" "is" "red" "+")
int3
((((((triple2) -> (rule5 % int4)) triple2) -> (rule4 % int3)) ((triple2 triple1) -> (rule2 % int2))) -> (rule6 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is kind.
("cow" "is" "kind" "+")
int3
The cow is cold.
("cow" "is" "cold" "+")
int4
((((triple2 ((triple2 triple1) -> (rule2 % int4))) -> (rule1 % int3)) ((triple2 ((triple2) -> (rule5 % int2))) -> (rule2 % int4))) -> (rule6 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
The cow is cold.
("cow" "is" "cold" "+")
int2
The cow is kind.
("cow" "is" "kind" "+")
int3
The cow is red.
("cow" "is" "red" "+")
int4
((((((triple2) -> (rule5 % int4)) triple2) -> (rule4 % int3)) ((triple2 ((triple2) -> (rule5 % int4))) -> (rule2 % int2))) -> (rule6 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is kind.
("cow" "is" "kind" "+")
int3
The cow is cold.
("cow" "is" "cold" "+")
int4
((((triple2 ((triple2 ((triple2) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) triple5) -> (rule6 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
The cow is red.
("cow" "is" "red" "+")
int3
The cow is cold.
("cow" "is" "cold" "+")
int4
((((triple2 ((triple2 ((triple2) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) ((triple2 triple1) -> (rule2 % int3))) -> (rule6 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
The cow is red.
("cow" "is" "red" "+")
int3
The cow is cold.
("cow" "is" "cold" "+")
int4
((((triple2 ((triple2 ((triple2) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) ((triple2 ((triple2) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule6 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
The cow is red.
("cow" "is" "red" "+")
int3
The cow is cold.
("cow" "is" "cold" "+")
int4
The cow is red.
("cow" "is" "red" "+")
triple5
((triple2 triple1) -> (rule2 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
((triple2 ((triple2) -> (rule5 % int2))) -> (rule2 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is cold.
("cow" "is" "cold" "+")
int2