The lion is big. The lion is not kind. The lion is red. The lion is rough. The lion is not young. If someone is red and not young then they are rough. If someone is kind and not young then they are rough. If someone is young then they are big. If the lion is red and the lion is not young then the lion is rough. If someone is young and not red then they are kind. If the lion is kind and the lion is red then the lion is big.
The lion is big.
("lion" "is" "big" "+")
The lion is not kind.
("lion" "is" "kind" "-")
The lion is red.
("lion" "is" "red" "+")
The lion is rough.
("lion" "is" "rough" "+")
The lion is not young.
("lion" "is" "young" "-")
If someone is red and not young then they are rough.
((("someone" "is" "red" "+") ("someone" "is" "young" "~")) -> ("someone" "is" "rough" "+"))
If someone is kind and not young then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "young" "~")) -> ("someone" "is" "rough" "+"))
If someone is young then they are big.
((("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
If the lion is red and the lion is not young then the lion is rough.
((("lion" "is" "red" "+") ("lion" "is" "young" "~")) -> ("lion" "is" "rough" "+"))
If someone is young and not red then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "red" "~")) -> ("someone" "is" "kind" "+"))
If the lion is kind and the lion is red then the lion is big.
((("lion" "is" "kind" "+") ("lion" "is" "red" "+")) -> ("lion" "is" "big" "+"))
The lion is big.
True
1
proof
[(triple1)]
("lion" "is" "big" "+")
triple1
The lion is kind.
False
1
inv-proof
[(triple2)]
("lion" "is" "kind" "+")
triple2
The lion does not need the lion.
Unknown
inv-random
[@0: The lion needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "lion" "-")
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 big.[(triple1)] The lion is not kind.[(triple2)] The lion is not young.[(triple5)] The lion is red.[(triple3)] The lion is rough.[(triple4 OR ((triple3 triple5) -> rule1) OR ((triple3 triple5) -> rule4))]
The lion is big.
("lion" "is" "big" "+")
triple1
The lion is not kind.
("lion" "is" "kind" "-")
triple2
The lion is not young.
("lion" "is" "young" "-")
triple5
The lion is red.
("lion" "is" "red" "+")
triple3
The lion is rough.
("lion" "is" "rough" "+")
triple4
((triple3 triple5) -> (rule1 % int1))
The lion is rough.
("lion" "is" "rough" "+")
int1
((triple3 triple5) -> (rule4 % int1))
The lion is rough.
("lion" "is" "rough" "+")
int1