The lion is young. All red people are young. All kind, red people are blue. All blue, red people are big. If someone is young then they are blue. Big people are red. Blue, red people are young. If the lion is red then the lion is blue. If the lion is young and the lion is big then the lion is red.
The lion is young.
("lion" "is" "young" "+")
All red people are young.
((("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
All kind, red people are blue.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
All blue, red people are big.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
If someone is young then they are blue.
((("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
Big people are red.
((("someone" "is" "big" "+")) -> ("someone" "is" "red" "+"))
Blue, red people are young.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
If the lion is red then the lion is blue.
((("lion" "is" "red" "+")) -> ("lion" "is" "blue" "+"))
If the lion is young and the lion is big then the lion is red.
((("lion" "is" "young" "+") ("lion" "is" "big" "+")) -> ("lion" "is" "red" "+"))
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 red.
Unknown
inv-rconc
[@3: The lion is red.[CWA. Example of deepest failure = (rule5 <- rule3 <- rule8 <- FAIL)]]
("lion" "is" "red" "-")
The lion is kind.
Unknown
random
[@0: The lion is kind.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "kind" "+")
@0: The lion is young.[(triple1)] @1: The lion is blue.[(((triple1) -> rule4))]
The lion is young.
("lion" "is" "young" "+")
triple1
The lion is blue.
("lion" "is" "blue" "+")
((triple1) -> (rule4 % int1))
The lion is blue.
("lion" "is" "blue" "+")
int1