The lion is kind. The lion is nice. The lion is young. Round things are young. If something is red and kind then it is round. All round, nice things are young. If something is round and young then it is red. Red, young things are nice. Red things are nice. All red things are young. If the lion is red and the lion is young then the lion is nice.
The lion is kind.
("lion" "is" "kind" "+")
The lion is nice.
("lion" "is" "nice" "+")
The lion is young.
("lion" "is" "young" "+")
Round things are young.
((("something" "is" "round" "+")) -> ("something" "is" "young" "+"))
If something is red and kind then it is round.
((("something" "is" "red" "+") ("something" "is" "kind" "+")) -> ("something" "is" "round" "+"))
All round, nice things are young.
((("something" "is" "round" "+") ("something" "is" "nice" "+")) -> ("something" "is" "young" "+"))
If something is round and young then it is red.
((("something" "is" "round" "+") ("something" "is" "young" "+")) -> ("something" "is" "red" "+"))
Red, young things are nice.
((("something" "is" "red" "+") ("something" "is" "young" "+")) -> ("something" "is" "nice" "+"))
Red things are nice.
((("something" "is" "red" "+")) -> ("something" "is" "nice" "+"))
All red things are young.
((("something" "is" "red" "+")) -> ("something" "is" "young" "+"))
If the lion is red and the lion is young then the lion is nice.
((("lion" "is" "red" "+") ("lion" "is" "young" "+")) -> ("lion" "is" "nice" "+"))
The lion is nice.
True
1
proof
[(triple2)]
("lion" "is" "nice" "+")
triple2
The lion is not kind.
False
1
inv-proof
[(triple1)]
("lion" "is" "kind" "-")
triple1
The lion is not round.
Unknown
inv-rconc
[@2: The lion is round.[CWA. Example of deepest failure = (rule2 <- rule4 <- FAIL)]]
("lion" "is" "round" "-")
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 kind.[(triple1)] The lion is nice.[(triple2)] The lion is young.[(triple3)]
The lion is kind.
("lion" "is" "kind" "+")
triple1
The lion is nice.
("lion" "is" "nice" "+")
triple2
The lion is young.
("lion" "is" "young" "+")
triple3