The lion is red. If something is round then it is not red. If the lion is cold then the lion is blue. All cold things are blue. All round, red things are not cold. Red things are cold. If something is round and not cold then it is not green.
The lion is red.
("lion" "is" "red" "+")
If something is round then it is not red.
((("something" "is" "round" "+")) -> ("something" "is" "red" "-"))
If the lion is cold then the lion is blue.
((("lion" "is" "cold" "+")) -> ("lion" "is" "blue" "+"))
All cold things are blue.
((("something" "is" "cold" "+")) -> ("something" "is" "blue" "+"))
All round, red things are not cold.
((("something" "is" "round" "+") ("something" "is" "red" "+")) -> ("something" "is" "cold" "-"))
Red things are cold.
((("something" "is" "red" "+")) -> ("something" "is" "cold" "+"))
If something is round and not cold then it is not green.
((("something" "is" "round" "+") ("something" "is" "cold" "~")) -> ("something" "is" "green" "-"))
The lion is red.
True
1
proof
[(triple1)]
("lion" "is" "red" "+")
triple1
The lion is not red.
False
1
inv-proof
[(triple1)]
("lion" "is" "red" "-")
triple1
The lion is cold.
True
2
proof
[(((triple1) -> rule5))]
("lion" "is" "cold" "+")
((triple1) -> (rule5 % int1))
The lion is cold.
("lion" "is" "cold" "+")
int1
The lion is not cold.
False
2
inv-proof
[(((triple1) -> rule5))]
("lion" "is" "cold" "-")
((triple1) -> (rule5 % int1))
The lion is cold.
("lion" "is" "cold" "+")
int1
The lion is not green.
Unknown
inv-random
[@0: The lion is green.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "green" "-")
The lion eats the lion.
Unknown
random
[@0: The lion eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "lion" "+")
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 sees the lion.
Unknown
random
[@0: The lion sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "sees" "lion" "+")
@0: The lion is red.[(triple1)] @1: The lion is cold.[(((triple1) -> rule5))] @2: The lion is blue.[(((((triple1) -> rule5)) -> rule2) OR ((((triple1) -> rule5)) -> rule3))]
The lion is red.
("lion" "is" "red" "+")
triple1
The lion is cold.
("lion" "is" "cold" "+")
((triple1) -> (rule5 % int1))
The lion is cold.
("lion" "is" "cold" "+")
int1
The lion is blue.
("lion" "is" "blue" "+")
((((triple1) -> (rule5 % int2))) -> (rule2 % int1))
The lion is blue.
("lion" "is" "blue" "+")
int1
The lion is cold.
("lion" "is" "cold" "+")
int2
((((triple1) -> (rule5 % int2))) -> (rule3 % int1))
The lion is blue.
("lion" "is" "blue" "+")
int1
The lion is cold.
("lion" "is" "cold" "+")
int2