The lion is green. If the lion is rough then the lion is green. If someone is red then they are green. Red people are cold. If someone is cold and green then they are rough. Round, green people are rough. All rough, green people are round. If the lion is green then the lion is cold. Rough people are red.
The lion is green.
("lion" "is" "green" "+")
If the lion is rough then the lion is green.
((("lion" "is" "rough" "+")) -> ("lion" "is" "green" "+"))
If someone is red then they are green.
((("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
Red people are cold.
((("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold and green then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
Round, green people are rough.
((("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
All rough, green people are round.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If the lion is green then the lion is cold.
((("lion" "is" "green" "+")) -> ("lion" "is" "cold" "+"))
Rough people are red.
((("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
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 cold.
True
2
proof
[(((triple1) -> rule7))]
("lion" "is" "cold" "+")
((triple1) -> (rule7 % int1))
The lion is cold.
("lion" "is" "cold" "+")
int1
The lion is not cold.
False
2
inv-proof
[(((triple1) -> rule7))]
("lion" "is" "cold" "-")
((triple1) -> (rule7 % int1))
The lion is cold.
("lion" "is" "cold" "+")
int1
The lion is rough.
True
4
proof
[(((((triple1) -> rule7) triple1) -> rule4))]
("lion" "is" "rough" "+")
((((triple1) -> (rule7 % int2)) triple1) -> (rule4 % int1))
The lion is rough.
("lion" "is" "rough" "+")
int1
The lion is cold.
("lion" "is" "cold" "+")
int2
The lion is not rough.
False
4
inv-proof
[(((((triple1) -> rule7) triple1) -> rule4))]
("lion" "is" "rough" "-")
((((triple1) -> (rule7 % int2)) triple1) -> (rule4 % int1))
The lion is rough.
("lion" "is" "rough" "+")
int1
The lion is cold.
("lion" "is" "cold" "+")
int2
The lion is red.
True
5
proof
[(((((((triple1) -> rule7) triple1) -> rule4)) -> rule8))]
("lion" "is" "red" "+")
((((((triple1) -> (rule7 % int3)) triple1) -> (rule4 % int2))) -> (rule8 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
int2
The lion is cold.
("lion" "is" "cold" "+")
int3
The lion is not red.
False
5
inv-proof
[(((((((triple1) -> rule7) triple1) -> rule4)) -> rule8))]
("lion" "is" "red" "-")
((((((triple1) -> (rule7 % int3)) triple1) -> (rule4 % int2))) -> (rule8 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
int2
The lion is cold.
("lion" "is" "cold" "+")
int3
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 likes the lion.
Unknown
random
[@0: The lion likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "lion" "+")
@0: The lion is green.[(triple1)] @1: The lion is cold.[(((triple1) -> rule7))] @2: The lion is rough.[(((((triple1) -> rule7) triple1) -> rule4))] @3: The lion is red.[(((((((triple1) -> rule7) triple1) -> rule4)) -> rule8))] The lion is round.[(((((((triple1) -> rule7) triple1) -> rule4) triple1) -> rule6))]
The lion is green.
("lion" "is" "green" "+")
triple1
The lion is cold.
("lion" "is" "cold" "+")
((triple1) -> (rule7 % int1))
The lion is cold.
("lion" "is" "cold" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
((((triple1) -> (rule7 % int2)) triple1) -> (rule4 % int1))
The lion is rough.
("lion" "is" "rough" "+")
int1
The lion is cold.
("lion" "is" "cold" "+")
int2
The lion is red.
("lion" "is" "red" "+")
((((((triple1) -> (rule7 % int3)) triple1) -> (rule4 % int2))) -> (rule8 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
int2
The lion is cold.
("lion" "is" "cold" "+")
int3
The lion is round.
("lion" "is" "round" "+")
((((((triple1) -> (rule7 % int3)) triple1) -> (rule4 % int2)) triple1) -> (rule6 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
int2
The lion is cold.
("lion" "is" "cold" "+")
int3