The lion is not big. The lion is cold. The lion is green. The lion is kind. The lion is not rough. Big, kind things are not green. If something is kind then it is green. Big, cold things are green. Big things are cold. If the lion is big then the lion is green. If the lion is rough then the lion is green. Cold things are kind. If something is cold and not rough then it is kind.
The lion is not big.
("lion" "is" "big" "-")
The lion is cold.
("lion" "is" "cold" "+")
The lion is green.
("lion" "is" "green" "+")
The lion is kind.
("lion" "is" "kind" "+")
The lion is not rough.
("lion" "is" "rough" "-")
Big, kind things are not green.
((("something" "is" "big" "+") ("something" "is" "kind" "+")) -> ("something" "is" "green" "-"))
If something is kind then it is green.
((("something" "is" "kind" "+")) -> ("something" "is" "green" "+"))
Big, cold things are green.
((("something" "is" "big" "+") ("something" "is" "cold" "+")) -> ("something" "is" "green" "+"))
Big things are cold.
((("something" "is" "big" "+")) -> ("something" "is" "cold" "+"))
If the lion is big then the lion is green.
((("lion" "is" "big" "+")) -> ("lion" "is" "green" "+"))
If the lion is rough then the lion is green.
((("lion" "is" "rough" "+")) -> ("lion" "is" "green" "+"))
Cold things are kind.
((("something" "is" "cold" "+")) -> ("something" "is" "kind" "+"))
If something is cold and not rough then it is kind.
((("something" "is" "cold" "+") ("something" "is" "rough" "~")) -> ("something" "is" "kind" "+"))
The lion is cold.
True
1
proof
[(triple2)]
("lion" "is" "cold" "+")
triple2
The lion is big.
False
1
inv-proof
[(triple1)]
("lion" "is" "big" "+")
triple1
The lion does not eat the lion.
Unknown
inv-random
[@0: The lion eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "lion" "-")
The lion needs the lion.
Unknown
random
[@0: The lion needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "lion" "+")
@0: The lion is cold.[(triple2)] The lion is green.[(triple3 OR ((triple4) -> rule2) OR ((((triple2) -> rule7)) -> rule2) OR ((((triple2 triple5) -> rule8)) -> rule2))] The lion is kind.[(triple4 OR ((triple2) -> rule7) OR ((triple2 triple5) -> rule8))] The lion is not big.[(triple1)] The lion is not rough.[(triple5)]
The lion is cold.
("lion" "is" "cold" "+")
triple2
The lion is green.
("lion" "is" "green" "+")
triple3
((triple4) -> (rule2 % int1))
The lion is green.
("lion" "is" "green" "+")
int1
((((triple2) -> (rule7 % int2))) -> (rule2 % int1))
The lion is green.
("lion" "is" "green" "+")
int1
The lion is kind.
("lion" "is" "kind" "+")
int2
((((triple2 triple5) -> (rule8 % int2))) -> (rule2 % int1))
The lion is green.
("lion" "is" "green" "+")
int1
The lion is kind.
("lion" "is" "kind" "+")
int2
The lion is kind.
("lion" "is" "kind" "+")
triple4
((triple2) -> (rule7 % int1))
The lion is kind.
("lion" "is" "kind" "+")
int1
((triple2 triple5) -> (rule8 % int1))
The lion is kind.
("lion" "is" "kind" "+")
int1
The lion is not big.
("lion" "is" "big" "-")
triple1
The lion is not rough.
("lion" "is" "rough" "-")
triple5