The lion is green. All blue people are cold. If someone is blue and big then they are round. If the lion is round then the lion is big. All cold, big people are round. If someone is round then they are cold. If someone is cold then they are green. If the lion is big then the lion is blue. Green people are big.
The lion is green.
("lion" "is" "green" "+")
All blue people are cold.
((("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue and big then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If the lion is round then the lion is big.
((("lion" "is" "round" "+")) -> ("lion" "is" "big" "+"))
All cold, big people are round.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is round then they are cold.
((("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold then they are green.
((("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If the lion is big then the lion is blue.
((("lion" "is" "big" "+")) -> ("lion" "is" "blue" "+"))
Green people are big.
((("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
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 big.
True
2
proof
[(((triple1) -> rule8))]
("lion" "is" "big" "+")
((triple1) -> (rule8 % int1))
The lion is big.
("lion" "is" "big" "+")
int1
The lion is not big.
False
2
inv-proof
[(((triple1) -> rule8))]
("lion" "is" "big" "-")
((triple1) -> (rule8 % int1))
The lion is big.
("lion" "is" "big" "+")
int1
The lion is blue.
True
3
proof
[(((((triple1) -> rule8)) -> rule7))]
("lion" "is" "blue" "+")
((((triple1) -> (rule8 % int2))) -> (rule7 % int1))
The lion is blue.
("lion" "is" "blue" "+")
int1
The lion is big.
("lion" "is" "big" "+")
int2
The lion is not blue.
False
3
inv-proof
[(((((triple1) -> rule8)) -> rule7))]
("lion" "is" "blue" "-")
((((triple1) -> (rule8 % int2))) -> (rule7 % int1))
The lion is blue.
("lion" "is" "blue" "+")
int1
The lion is big.
("lion" "is" "big" "+")
int2
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 green.[(triple1)] @1: The lion is big.[(((triple1) -> rule8))] @2: The lion is blue.[(((((triple1) -> rule8)) -> rule7))] @3: The lion is cold.[(((((((triple1) -> rule8)) -> rule7)) -> rule1) OR ((((((((triple1) -> rule8)) -> rule7) ((triple1) -> rule8)) -> rule2)) -> rule5))] The lion is round.[(((((((triple1) -> rule8)) -> rule7) ((triple1) -> rule8)) -> rule2) OR ((((((((triple1) -> rule8)) -> rule7)) -> rule1) ((triple1) -> rule8)) -> rule4))]
The lion is green.
("lion" "is" "green" "+")
triple1
The lion is big.
("lion" "is" "big" "+")
((triple1) -> (rule8 % int1))
The lion is big.
("lion" "is" "big" "+")
int1
The lion is blue.
("lion" "is" "blue" "+")
((((triple1) -> (rule8 % int2))) -> (rule7 % int1))
The lion is blue.
("lion" "is" "blue" "+")
int1
The lion is big.
("lion" "is" "big" "+")
int2
The lion is cold.
("lion" "is" "cold" "+")
((((((triple1) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
The lion is cold.
("lion" "is" "cold" "+")
int1
The lion is blue.
("lion" "is" "blue" "+")
int2
The lion is big.
("lion" "is" "big" "+")
int3
((((((((triple1) -> (rule8 % int4))) -> (rule7 % int3)) ((triple1) -> (rule8 % int4))) -> (rule2 % int2))) -> (rule5 % int1))
The lion is cold.
("lion" "is" "cold" "+")
int1
The lion is round.
("lion" "is" "round" "+")
int2
The lion is blue.
("lion" "is" "blue" "+")
int3
The lion is big.
("lion" "is" "big" "+")
int4
The lion is round.
("lion" "is" "round" "+")
((((((triple1) -> (rule8 % int3))) -> (rule7 % int2)) ((triple1) -> (rule8 % int3))) -> (rule2 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The lion is blue.
("lion" "is" "blue" "+")
int2
The lion is big.
("lion" "is" "big" "+")
int3
((((((((triple1) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) ((triple1) -> (rule8 % int4))) -> (rule4 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The lion is cold.
("lion" "is" "cold" "+")
int2
The lion is blue.
("lion" "is" "blue" "+")
int3
The lion is big.
("lion" "is" "big" "+")
int4