The lion is big. The lion is cold. The lion is nice. If something is nice and cold then it is rough. All big things are rough.
The lion is big.
("lion" "is" "big" "+")
The lion is cold.
("lion" "is" "cold" "+")
The lion is nice.
("lion" "is" "nice" "+")
If something is nice and cold then it is rough.
((("something" "is" "nice" "+") ("something" "is" "cold" "+")) -> ("something" "is" "rough" "+"))
All big things are rough.
((("something" "is" "big" "+")) -> ("something" "is" "rough" "+"))
The lion is big.
True
1
proof
[(triple1)]
("lion" "is" "big" "+")
triple1
The lion is not cold.
False
1
inv-proof
[(triple2)]
("lion" "is" "cold" "-")
triple2
The lion is rough.
True
2
proof
[(((triple1) -> rule2) OR ((triple3 triple2) -> rule1))]
("lion" "is" "rough" "+")
((triple1) -> (rule2 % int1))
The lion is rough.
("lion" "is" "rough" "+")
int1
((triple3 triple2) -> (rule1 % int1))
The lion is rough.
("lion" "is" "rough" "+")
int1
The lion is not rough.
False
2
inv-proof
[(((triple1) -> rule2) OR ((triple3 triple2) -> rule1))]
("lion" "is" "rough" "-")
((triple1) -> (rule2 % int1))
The lion is rough.
("lion" "is" "rough" "+")
int1
((triple3 triple2) -> (rule1 % int1))
The lion is rough.
("lion" "is" "rough" "+")
int1
The lion does not see the lion.
Unknown
inv-random
[@0: The lion sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "sees" "lion" "-")
The lion eats the lion.
Unknown
random
[@0: The lion eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "lion" "+")
The lion is not round.
Unknown
inv-random
[@0: The lion is round.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "round" "-")
The lion likes the lion.
Unknown
random
[@0: The lion likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "lion" "+")
@0: The lion is big.[(triple1)] The lion is cold.[(triple2)] The lion is nice.[(triple3)] @1: The lion is rough.[(((triple1) -> rule2) OR ((triple3 triple2) -> rule1))]
The lion is big.
("lion" "is" "big" "+")
triple1
The lion is cold.
("lion" "is" "cold" "+")
triple2
The lion is nice.
("lion" "is" "nice" "+")
triple3
The lion is rough.
("lion" "is" "rough" "+")
((triple1) -> (rule2 % int1))
The lion is rough.
("lion" "is" "rough" "+")
int1
((triple3 triple2) -> (rule1 % int1))
The lion is rough.
("lion" "is" "rough" "+")
int1