The lion is big. The lion is cold. The lion is green. The lion is not rough. The lion is not young. If someone is cold and rough then they are young. Rough, big people are young. All rough people are young. If someone is rough then they are not young. All rough people are young. If the lion is young then the lion is green. All young, green people are big. If the lion is young and the lion is big then the lion is not cold.
The lion is big.
("lion" "is" "big" "+")
The lion is cold.
("lion" "is" "cold" "+")
The lion is green.
("lion" "is" "green" "+")
The lion is not rough.
("lion" "is" "rough" "-")
The lion is not young.
("lion" "is" "young" "-")
If someone is cold and rough then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
Rough, big people are young.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
All rough people are young.
((("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is rough then they are not young.
((("someone" "is" "rough" "+")) -> ("someone" "is" "young" "-"))
All rough people are young.
((("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If the lion is young then the lion is green.
((("lion" "is" "young" "+")) -> ("lion" "is" "green" "+"))
All young, green people are big.
((("someone" "is" "young" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If the lion is young and the lion is big then the lion is not cold.
((("lion" "is" "young" "+") ("lion" "is" "big" "+")) -> ("lion" "is" "cold" "-"))
The lion is cold.
True
1
proof
[(triple2)]
("lion" "is" "cold" "+")
triple2
The lion is not big.
False
1
inv-proof
[(triple1)]
("lion" "is" "big" "-")
triple1
The lion does not eat the lion.
Unknown
inv-random
[@0: The lion eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "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 big.[(triple1)] The lion is cold.[(triple2)] The lion is green.[(triple3)] The lion is not rough.[(triple4)] The lion is not young.[(triple5)]
The lion is big.
("lion" "is" "big" "+")
triple1
The lion is cold.
("lion" "is" "cold" "+")
triple2
The lion is green.
("lion" "is" "green" "+")
triple3
The lion is not rough.
("lion" "is" "rough" "-")
triple4
The lion is not young.
("lion" "is" "young" "-")
triple5