The lion is blue. The lion is not round. The lion is young. If the lion is rough and the lion is not round then the lion is not kind. Round, rough things are kind. Rough, round things are kind. If something is kind and not young then it is blue. All young things are blue. If something is kind and not young then it is blue. All young things are rough. If the lion is not young then the lion is rough.
The lion is blue.
("lion" "is" "blue" "+")
The lion is not round.
("lion" "is" "round" "-")
The lion is young.
("lion" "is" "young" "+")
If the lion is rough and the lion is not round then the lion is not kind.
((("lion" "is" "rough" "+") ("lion" "is" "round" "~")) -> ("lion" "is" "kind" "-"))
Round, rough things are kind.
((("something" "is" "round" "+") ("something" "is" "rough" "+")) -> ("something" "is" "kind" "+"))
Rough, round things are kind.
((("something" "is" "rough" "+") ("something" "is" "round" "+")) -> ("something" "is" "kind" "+"))
If something is kind and not young then it is blue.
((("something" "is" "kind" "+") ("something" "is" "young" "~")) -> ("something" "is" "blue" "+"))
All young things are blue.
((("something" "is" "young" "+")) -> ("something" "is" "blue" "+"))
If something is kind and not young then it is blue.
((("something" "is" "kind" "+") ("something" "is" "young" "~")) -> ("something" "is" "blue" "+"))
All young things are rough.
((("something" "is" "young" "+")) -> ("something" "is" "rough" "+"))
If the lion is not young then the lion is rough.
((("lion" "is" "young" "~")) -> ("lion" "is" "rough" "+"))
The lion is not round.
True
1
proof
[(triple2)]
("lion" "is" "round" "-")
triple2
The lion is not young.
False
1
inv-proof
[(triple3)]
("lion" "is" "young" "-")
triple3
The lion does not see the lion.
Unknown
inv-random
[@0: The lion sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "sees" "lion" "-")
The lion visits the lion.
Unknown
random
[@0: The lion visits the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "lion" "+")
@0: The lion is blue.[(triple1 OR ((triple3) -> rule5))] The lion is not round.[(triple2)] The lion is young.[(triple3)] @1: The lion is rough.[(((triple3) -> rule7))] @2: The lion is not kind.[(((((triple3) -> rule7) triple2) -> rule1))]
The lion is blue.
("lion" "is" "blue" "+")
triple1
((triple3) -> (rule5 % int1))
The lion is blue.
("lion" "is" "blue" "+")
int1
The lion is not round.
("lion" "is" "round" "-")
triple2
The lion is young.
("lion" "is" "young" "+")
triple3
The lion is rough.
("lion" "is" "rough" "+")
((triple3) -> (rule7 % int1))
The lion is rough.
("lion" "is" "rough" "+")
int1
The lion is not kind.
("lion" "is" "kind" "-")
((((triple3) -> (rule7 % int2)) triple2) -> (rule1 % int1))
The lion is not kind.
("lion" "is" "kind" "-")
int1
The lion is rough.
("lion" "is" "rough" "+")
int2