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