The lion is blue. The lion is not green. The lion is kind. If someone is blue then they are round. All nice people are not round. Nice people are not round. If the lion is nice and the lion is not kind then the lion is green. If the lion is blue then the lion is not nice. All kind, nice people are green.
The lion is blue.
("lion" "is" "blue" "+")
The lion is not green.
("lion" "is" "green" "-")
The lion is kind.
("lion" "is" "kind" "+")
If someone is blue then they are round.
((("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
All nice people are not round.
((("someone" "is" "nice" "+")) -> ("someone" "is" "round" "-"))
Nice people are not round.
((("someone" "is" "nice" "+")) -> ("someone" "is" "round" "-"))
If the lion is nice and the lion is not kind then the lion is green.
((("lion" "is" "nice" "+") ("lion" "is" "kind" "~")) -> ("lion" "is" "green" "+"))
If the lion is blue then the lion is not nice.
((("lion" "is" "blue" "+")) -> ("lion" "is" "nice" "-"))
All kind, nice people are green.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
The lion is not green.
True
1
proof
[(triple2)]
("lion" "is" "green" "-")
triple2
The lion is green.
False
1
inv-proof
[(triple2)]
("lion" "is" "green" "+")
triple2
The lion is round.
True
2
proof
[(((triple1) -> rule1))]
("lion" "is" "round" "+")
((triple1) -> (rule1 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The lion is not round.
False
2
inv-proof
[(((triple1) -> rule1))]
("lion" "is" "round" "-")
((triple1) -> (rule1 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
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 likes the lion.
Unknown
random
[@0: The lion likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "lion" "+")
@0: The lion is blue.[(triple1)] The lion is kind.[(triple3)] The lion is not green.[(triple2)] @1: The lion is not nice.[(((triple1) -> rule5))] The lion is round.[(((triple1) -> rule1))]
The lion is blue.
("lion" "is" "blue" "+")
triple1
The lion is kind.
("lion" "is" "kind" "+")
triple3
The lion is not green.
("lion" "is" "green" "-")
triple2
The lion is not nice.
("lion" "is" "nice" "-")
((triple1) -> (rule5 % int1))
The lion is not nice.
("lion" "is" "nice" "-")
int1
The lion is round.
("lion" "is" "round" "+")
((triple1) -> (rule1 % int1))
The lion is round.
("lion" "is" "round" "+")
int1