The lion is green. If the lion is red and the lion is green then the lion is round. All green, round people are big. All green people are red. Blue, red people are green. All green, blue people are red. Big people are green. Round people are red. If the lion is round then the lion is green.
The lion is green.
("lion" "is" "green" "+")
If the lion is red and the lion is green then the lion is round.
((("lion" "is" "red" "+") ("lion" "is" "green" "+")) -> ("lion" "is" "round" "+"))
All green, round people are big.
((("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
All green people are red.
((("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
Blue, red people are green.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
All green, blue people are red.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
Big people are green.
((("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
Round people are red.
((("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If the lion is round then the lion is green.
((("lion" "is" "round" "+")) -> ("lion" "is" "green" "+"))
The lion is green.
True
1
proof
[(triple1)]
("lion" "is" "green" "+")
triple1
The lion is not green.
False
1
inv-proof
[(triple1)]
("lion" "is" "green" "-")
triple1
The lion is red.
True
2
proof
[(((triple1) -> rule3))]
("lion" "is" "red" "+")
((triple1) -> (rule3 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
The lion is not red.
False
2
inv-proof
[(((triple1) -> rule3))]
("lion" "is" "red" "-")
((triple1) -> (rule3 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
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 needs the lion.
Unknown
random
[@0: The lion needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "lion" "+")
The lion does not eat the lion.
Unknown
inv-random
[@0: The lion eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "lion" "-")
The lion is blue.
Unknown
random
[@0: The lion is blue.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "blue" "+")
@0: The lion is green.[(triple1)] @1: The lion is red.[(((triple1) -> rule3))] @2: The lion is round.[(((((triple1) -> rule3) triple1) -> rule1))] @3: The lion is big.[(((triple1 ((((triple1) -> rule3) triple1) -> rule1)) -> rule2))]
The lion is green.
("lion" "is" "green" "+")
triple1
The lion is red.
("lion" "is" "red" "+")
((triple1) -> (rule3 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
The lion is round.
("lion" "is" "round" "+")
((((triple1) -> (rule3 % int2)) triple1) -> (rule1 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The lion is red.
("lion" "is" "red" "+")
int2
The lion is big.
("lion" "is" "big" "+")
((triple1 ((((triple1) -> (rule3 % int3)) triple1) -> (rule1 % int2))) -> (rule2 % int1))
The lion is big.
("lion" "is" "big" "+")
int1
The lion is round.
("lion" "is" "round" "+")
int2
The lion is red.
("lion" "is" "red" "+")
int3