The lion is cold. All cold people are young. All cold, blue people are not young. If the lion is young then the lion is green. If the lion is cold and the lion is blue then the lion is green. If the lion is blue then the lion is green. If someone is round then they are green. All young, green people are round. All round people are cold.
The lion is cold.
("lion" "is" "cold" "+")
All cold people are young.
((("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
All cold, blue people are not young.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "-"))
If the lion is young then the lion is green.
((("lion" "is" "young" "+")) -> ("lion" "is" "green" "+"))
If the lion is cold and the lion is blue then the lion is green.
((("lion" "is" "cold" "+") ("lion" "is" "blue" "+")) -> ("lion" "is" "green" "+"))
If the lion is blue then the lion is green.
((("lion" "is" "blue" "+")) -> ("lion" "is" "green" "+"))
If someone is round then they are green.
((("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
All young, green people are round.
((("someone" "is" "young" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
All round people are cold.
((("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
The lion is cold.
True
1
proof
[(triple1)]
("lion" "is" "cold" "+")
triple1
The lion is not cold.
False
1
inv-proof
[(triple1)]
("lion" "is" "cold" "-")
triple1
The lion is young.
True
2
proof
[(((triple1) -> rule1))]
("lion" "is" "young" "+")
((triple1) -> (rule1 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is not young.
False
2
inv-proof
[(((triple1) -> rule1))]
("lion" "is" "young" "-")
((triple1) -> (rule1 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is green.
True
3
proof
[(((((triple1) -> rule1)) -> rule3))]
("lion" "is" "green" "+")
((((triple1) -> (rule1 % int2))) -> (rule3 % int1))
The lion is green.
("lion" "is" "green" "+")
int1
The lion is young.
("lion" "is" "young" "+")
int2
The lion is not green.
False
3
inv-proof
[(((((triple1) -> rule1)) -> rule3))]
("lion" "is" "green" "-")
((((triple1) -> (rule1 % int2))) -> (rule3 % int1))
The lion is green.
("lion" "is" "green" "+")
int1
The lion is young.
("lion" "is" "young" "+")
int2
The lion is round.
True
6
proof
[(((((triple1) -> rule1) ((((triple1) -> rule1)) -> rule3)) -> rule7))]
("lion" "is" "round" "+")
((((triple1) -> (rule1 % int3)) ((((triple1) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The lion is green.
("lion" "is" "green" "+")
int2
The lion is young.
("lion" "is" "young" "+")
int3
The lion is not round.
False
6
inv-proof
[(((((triple1) -> rule1) ((((triple1) -> rule1)) -> rule3)) -> rule7))]
("lion" "is" "round" "-")
((((triple1) -> (rule1 % int3)) ((((triple1) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The lion is green.
("lion" "is" "green" "+")
int2
The lion is young.
("lion" "is" "young" "+")
int3
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 likes the lion.
Unknown
random
[@0: The lion likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "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 cold.[(triple1)] @1: The lion is young.[(((triple1) -> rule1))] @2: The lion is green.[(((((triple1) -> rule1)) -> rule3))] @3: The lion is round.[(((((triple1) -> rule1) ((((triple1) -> rule1)) -> rule3)) -> rule7))]
The lion is cold.
("lion" "is" "cold" "+")
triple1
The lion is young.
("lion" "is" "young" "+")
((triple1) -> (rule1 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is green.
("lion" "is" "green" "+")
((((triple1) -> (rule1 % int2))) -> (rule3 % int1))
The lion is green.
("lion" "is" "green" "+")
int1
The lion is young.
("lion" "is" "young" "+")
int2
The lion is round.
("lion" "is" "round" "+")
((((triple1) -> (rule1 % int3)) ((((triple1) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The lion is green.
("lion" "is" "green" "+")
int2
The lion is young.
("lion" "is" "young" "+")
int3