The lion is young. If something is cold and not blue then it is green. If something is blue and young then it is not green. Young things are not green. Green, cold things are red. If something is green and young then it is not red. If something is red and not cold then it is young. All red things are young. If the lion is red and the lion is green then the lion is not young.
The lion is young.
("lion" "is" "young" "+")
If something is cold and not blue then it is green.
((("something" "is" "cold" "+") ("something" "is" "blue" "~")) -> ("something" "is" "green" "+"))
If something is blue and young then it is not green.
((("something" "is" "blue" "+") ("something" "is" "young" "+")) -> ("something" "is" "green" "-"))
Young things are not green.
((("something" "is" "young" "+")) -> ("something" "is" "green" "-"))
Green, cold things are red.
((("something" "is" "green" "+") ("something" "is" "cold" "+")) -> ("something" "is" "red" "+"))
If something is green and young then it is not red.
((("something" "is" "green" "+") ("something" "is" "young" "+")) -> ("something" "is" "red" "-"))
If something is red and not cold then it is young.
((("something" "is" "red" "+") ("something" "is" "cold" "~")) -> ("something" "is" "young" "+"))
All red things are young.
((("something" "is" "red" "+")) -> ("something" "is" "young" "+"))
If the lion is red and the lion is green then the lion is not young.
((("lion" "is" "red" "+") ("lion" "is" "green" "+")) -> ("lion" "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 green.
True
2
proof
[(((triple1) -> rule3))]
("lion" "is" "green" "-")
((triple1) -> (rule3 % int1))
The lion is not green.
("lion" "is" "green" "-")
int1
The lion is green.
False
2
inv-proof
[(((triple1) -> rule3))]
("lion" "is" "green" "+")
((triple1) -> (rule3 % int1))
The lion is not green.
("lion" "is" "green" "-")
int1
The lion is not red.
Unknown
inv-rconc
[@1: The lion is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("lion" "is" "red" "-")
The lion chases the lion.
Unknown
random
[@0: The lion chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "lion" "+")
The lion does not visit the lion.
Unknown
inv-random
[@0: The lion visits the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "lion" "-")
The lion is cold.
Unknown
random
[@0: The lion is cold.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "cold" "+")
@0: The lion is young.[(triple1)] @1: The lion is not green.[(((triple1) -> rule3))]
The lion is young.
("lion" "is" "young" "+")
triple1
The lion is not green.
("lion" "is" "green" "-")
((triple1) -> (rule3 % int1))
The lion is not green.
("lion" "is" "green" "-")
int1