The lion is young. If the lion is kind then the lion is not young. Round, young things are big. If something is kind then it is big. All young things are not big. If something is young and big then it is round. If something is big then it is round. All round, young things are kind. All big things are young.
The lion is young.
("lion" "is" "young" "+")
If the lion is kind then the lion is not young.
((("lion" "is" "kind" "+")) -> ("lion" "is" "young" "-"))
Round, young things are big.
((("something" "is" "round" "+") ("something" "is" "young" "+")) -> ("something" "is" "big" "+"))
If something is kind then it is big.
((("something" "is" "kind" "+")) -> ("something" "is" "big" "+"))
All young things are not big.
((("something" "is" "young" "+")) -> ("something" "is" "big" "-"))
If something is young and big then it is round.
((("something" "is" "young" "+") ("something" "is" "big" "+")) -> ("something" "is" "round" "+"))
If something is big then it is round.
((("something" "is" "big" "+")) -> ("something" "is" "round" "+"))
All round, young things are kind.
((("something" "is" "round" "+") ("something" "is" "young" "+")) -> ("something" "is" "kind" "+"))
All big things are young.
((("something" "is" "big" "+")) -> ("something" "is" "young" "+"))
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 is not big.
True
2
proof
[(((triple1) -> rule4))]
("lion" "is" "big" "-")
((triple1) -> (rule4 % int1))
The lion is not big.
("lion" "is" "big" "-")
int1
The lion is big.
False
2
inv-proof
[(((triple1) -> rule4))]
("lion" "is" "big" "+")
((triple1) -> (rule4 % int1))
The lion is not big.
("lion" "is" "big" "-")
int1
The lion is not round.
Unknown
inv-rconc
[@1: The lion is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("lion" "is" "round" "-")
The lion is kind.
Unknown
rconc
[@2: The lion is kind.[CWA. Example of deepest failure = (rule7 <- rule5 <- FAIL)]]
("lion" "is" "kind" "+")
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 is green.
Unknown
random
[@0: The lion is green.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "green" "+")
@0: The lion is young.[(triple1)] @1: The lion is not big.[(((triple1) -> rule4))]
The lion is young.
("lion" "is" "young" "+")
triple1
The lion is not big.
("lion" "is" "big" "-")
((triple1) -> (rule4 % int1))
The lion is not big.
("lion" "is" "big" "-")
int1