The lion is blue. The lion is not green. The lion is kind. The lion is red. The lion is round. All green, red things are round. All red things are round. All red things are round. If the lion is green then the lion is kind. Green things are red. If the lion is not kind then the lion is round. All green, round things are blue. If something is round and red then it is blue.
The lion is blue.
("lion" "is" "blue" "+")
The lion is not green.
("lion" "is" "green" "-")
The lion is kind.
("lion" "is" "kind" "+")
The lion is red.
("lion" "is" "red" "+")
The lion is round.
("lion" "is" "round" "+")
All green, red things are round.
((("something" "is" "green" "+") ("something" "is" "red" "+")) -> ("something" "is" "round" "+"))
All red things are round.
((("something" "is" "red" "+")) -> ("something" "is" "round" "+"))
All red things are round.
((("something" "is" "red" "+")) -> ("something" "is" "round" "+"))
If the lion is green then the lion is kind.
((("lion" "is" "green" "+")) -> ("lion" "is" "kind" "+"))
Green things are red.
((("something" "is" "green" "+")) -> ("something" "is" "red" "+"))
If the lion is not kind then the lion is round.
((("lion" "is" "kind" "~")) -> ("lion" "is" "round" "+"))
All green, round things are blue.
((("something" "is" "green" "+") ("something" "is" "round" "+")) -> ("something" "is" "blue" "+"))
If something is round and red then it is blue.
((("something" "is" "round" "+") ("something" "is" "red" "+")) -> ("something" "is" "blue" "+"))
The lion is red.
True
1
proof
[(triple4)]
("lion" "is" "red" "+")
triple4
The lion is not blue.
False
1
inv-proof
[(triple1 OR ((triple5 triple4) -> rule8) OR ((((triple4) -> rule2) triple4) -> rule8) OR ((((triple4) -> rule3) triple4) -> rule8))]
("lion" "is" "blue" "-")
triple1
((triple5 triple4) -> (rule8 % int1))
The lion is blue.
("lion" "is" "blue" "+")
int1
((((triple4) -> (rule2 % int2)) triple4) -> (rule8 % int1))
The lion is blue.
("lion" "is" "blue" "+")
int1
The lion is round.
("lion" "is" "round" "+")
int2
((((triple4) -> (rule3 % int2)) triple4) -> (rule8 % int1))
The lion is blue.
("lion" "is" "blue" "+")
int1
The lion is round.
("lion" "is" "round" "+")
int2
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 blue.[(triple1 OR ((triple5 triple4) -> rule8) OR ((((triple4) -> rule2) triple4) -> rule8) OR ((((triple4) -> rule3) triple4) -> rule8))] The lion is kind.[(triple3)] The lion is not green.[(triple2)] The lion is red.[(triple4)] The lion is round.[(triple5 OR ((triple4) -> rule2) OR ((triple4) -> rule3))]
The lion is blue.
("lion" "is" "blue" "+")
triple1
((triple5 triple4) -> (rule8 % int1))
The lion is blue.
("lion" "is" "blue" "+")
int1
((((triple4) -> (rule2 % int2)) triple4) -> (rule8 % int1))
The lion is blue.
("lion" "is" "blue" "+")
int1
The lion is round.
("lion" "is" "round" "+")
int2
((((triple4) -> (rule3 % int2)) triple4) -> (rule8 % int1))
The lion is blue.
("lion" "is" "blue" "+")
int1
The lion is round.
("lion" "is" "round" "+")
int2
The lion is kind.
("lion" "is" "kind" "+")
triple3
The lion is not green.
("lion" "is" "green" "-")
triple2
The lion is red.
("lion" "is" "red" "+")
triple4
The lion is round.
("lion" "is" "round" "+")
triple5
((triple4) -> (rule2 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
((triple4) -> (rule3 % int1))
The lion is round.
("lion" "is" "round" "+")
int1