The lion is big. The lion is blue. The lion is cold. The lion is nice. The lion is red. All red people are big. All cold people are red.
The lion is big.
("lion" "is" "big" "+")
The lion is blue.
("lion" "is" "blue" "+")
The lion is cold.
("lion" "is" "cold" "+")
The lion is nice.
("lion" "is" "nice" "+")
The lion is red.
("lion" "is" "red" "+")
All red people are big.
((("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
All cold people are red.
((("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
The lion is nice.
True
1
proof
[(triple4)]
("lion" "is" "nice" "+")
triple4
The lion is not cold.
False
1
inv-proof
[(triple3)]
("lion" "is" "cold" "-")
triple3
The lion does not like the lion.
Unknown
inv-random
[@0: The lion likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "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 OR ((triple5) -> rule1) OR ((((triple3) -> rule2)) -> rule1))] The lion is blue.[(triple2)] The lion is cold.[(triple3)] The lion is nice.[(triple4)] The lion is red.[(triple5 OR ((triple3) -> rule2))]
The lion is big.
("lion" "is" "big" "+")
triple1
((triple5) -> (rule1 % int1))
The lion is big.
("lion" "is" "big" "+")
int1
((((triple3) -> (rule2 % int2))) -> (rule1 % int1))
The lion is big.
("lion" "is" "big" "+")
int1
The lion is red.
("lion" "is" "red" "+")
int2
The lion is blue.
("lion" "is" "blue" "+")
triple2
The lion is cold.
("lion" "is" "cold" "+")
triple3
The lion is nice.
("lion" "is" "nice" "+")
triple4
The lion is red.
("lion" "is" "red" "+")
triple5
((triple3) -> (rule2 % int1))
The lion is red.
("lion" "is" "red" "+")
int1