The lion is young. If something is cold and not young then it is not nice. All young things are not nice. All young things are cold. If the lion is kind then the lion is not big. Young things are kind. Big things are kind.
The lion is young.
("lion" "is" "young" "+")
If something is cold and not young then it is not nice.
((("something" "is" "cold" "+") ("something" "is" "young" "~")) -> ("something" "is" "nice" "-"))
All young things are not nice.
((("something" "is" "young" "+")) -> ("something" "is" "nice" "-"))
All young things are cold.
((("something" "is" "young" "+")) -> ("something" "is" "cold" "+"))
If the lion is kind then the lion is not big.
((("lion" "is" "kind" "+")) -> ("lion" "is" "big" "-"))
Young things are kind.
((("something" "is" "young" "+")) -> ("something" "is" "kind" "+"))
Big things are kind.
((("something" "is" "big" "+")) -> ("something" "is" "kind" "+"))
The lion is young.
True
1
proof
[(triple1)]
("lion" "is" "young" "+")
triple1
The lion is not young.
False
1
inv-proof
[(triple1)]
("lion" "is" "young" "-")
triple1
The lion does not like the lion.
Unknown
inv-random
[@0: The lion likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "lion" "-")
The lion eats the lion.
Unknown
random
[@0: The lion eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "lion" "+")
@0: The lion is young.[(triple1)] @1: The lion is cold.[(((triple1) -> rule3))] The lion is kind.[(((triple1) -> rule5))] The lion is not nice.[(((triple1) -> rule2))] @2: The lion is not big.[(((((triple1) -> rule5)) -> rule4))]
The lion is young.
("lion" "is" "young" "+")
triple1
The lion is cold.
("lion" "is" "cold" "+")
((triple1) -> (rule3 % int1))
The lion is cold.
("lion" "is" "cold" "+")
int1
The lion is kind.
("lion" "is" "kind" "+")
((triple1) -> (rule5 % int1))
The lion is kind.
("lion" "is" "kind" "+")
int1
The lion is not nice.
("lion" "is" "nice" "-")
((triple1) -> (rule2 % int1))
The lion is not nice.
("lion" "is" "nice" "-")
int1
The lion is not big.
("lion" "is" "big" "-")
((((triple1) -> (rule5 % int2))) -> (rule4 % int1))
The lion is not big.
("lion" "is" "big" "-")
int1
The lion is kind.
("lion" "is" "kind" "+")
int2