The lion is green. The lion is round. The lion is young. If someone is green and not young then they are kind. If the lion is round and the lion is young then the lion is green.
The lion is green.
("lion" "is" "green" "+")
The lion is round.
("lion" "is" "round" "+")
The lion is young.
("lion" "is" "young" "+")
If someone is green and not young then they are kind.
((("someone" "is" "green" "+") ("someone" "is" "young" "~")) -> ("someone" "is" "kind" "+"))
If the lion is round and the lion is young then the lion is green.
((("lion" "is" "round" "+") ("lion" "is" "young" "+")) -> ("lion" "is" "green" "+"))
The lion is young.
True
1
proof
[(triple3)]
("lion" "is" "young" "+")
triple3
The lion is not young.
False
1
inv-proof
[(triple3)]
("lion" "is" "young" "-")
triple3
The lion is not kind.
Unknown
inv-rconc
[@1: The lion is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "is" "kind" "-")
The lion sees the lion.
Unknown
random
[@0: The lion sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "sees" "lion" "+")
@0: The lion is green.[(triple1 OR ((triple2 triple3) -> rule2))] The lion is round.[(triple2)] The lion is young.[(triple3)]
The lion is green.
("lion" "is" "green" "+")
triple1
((triple2 triple3) -> (rule2 % int1))
The lion is green.
("lion" "is" "green" "+")
int1
The lion is round.
("lion" "is" "round" "+")
triple2
The lion is young.
("lion" "is" "young" "+")
triple3