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