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