The lion is not big. The lion is cold. The lion is kind. The lion is nice. The lion is rough. If someone is big and not rough then they are not cold. If someone is nice and big then they are cold. If the lion is kind and the lion is big then the lion is cold. Big people are not kind. Rough people are kind. All nice people are kind.
The lion is not big.
("lion" "is" "big" "-")
The lion is cold.
("lion" "is" "cold" "+")
The lion is kind.
("lion" "is" "kind" "+")
The lion is nice.
("lion" "is" "nice" "+")
The lion is rough.
("lion" "is" "rough" "+")
If someone is big and not rough then they are not cold.
((("someone" "is" "big" "+") ("someone" "is" "rough" "~")) -> ("someone" "is" "cold" "-"))
If someone is nice and big then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
If the lion is kind and the lion is big then the lion is cold.
((("lion" "is" "kind" "+") ("lion" "is" "big" "+")) -> ("lion" "is" "cold" "+"))
Big people are not kind.
((("someone" "is" "big" "+")) -> ("someone" "is" "kind" "-"))
Rough people are kind.
((("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
All nice people are kind.
((("someone" "is" "nice" "+")) -> ("someone" "is" "kind" "+"))
The lion is rough.
True
1
proof
[(triple5)]
("lion" "is" "rough" "+")
triple5
The lion is not nice.
False
1
inv-proof
[(triple4)]
("lion" "is" "nice" "-")
triple4
The lion does not chase the lion.
Unknown
inv-random
[@0: The lion chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "lion" "-")
The lion eats the lion.
Unknown
random
[@0: The lion eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "lion" "+")
@0: The lion is cold.[(triple2)] The lion is kind.[(triple3 OR ((triple4) -> rule6) OR ((triple5) -> rule5))] The lion is nice.[(triple4)] The lion is not big.[(triple1)] The lion is rough.[(triple5)]
The lion is cold.
("lion" "is" "cold" "+")
triple2
The lion is kind.
("lion" "is" "kind" "+")
triple3
((triple4) -> (rule6 % int1))
The lion is kind.
("lion" "is" "kind" "+")
int1
((triple5) -> (rule5 % int1))
The lion is kind.
("lion" "is" "kind" "+")
int1
The lion is nice.
("lion" "is" "nice" "+")
triple4
The lion is not big.
("lion" "is" "big" "-")
triple1
The lion is rough.
("lion" "is" "rough" "+")
triple5