Erin is green. Young people are not round. All white people are young. Smart people are young. All big people are young. All quiet people are white. Smart people are not quiet. If someone is quiet and smart then they are big. If Erin is green then Erin is quiet.
Erin is green.
("Erin" "is" "green" "+")
Young people are not round.
((("someone" "is" "young" "+")) -> ("someone" "is" "round" "-"))
All white people are young.
((("someone" "is" "white" "+")) -> ("someone" "is" "young" "+"))
Smart people are young.
((("someone" "is" "smart" "+")) -> ("someone" "is" "young" "+"))
All big people are young.
((("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
All quiet people are white.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "white" "+"))
Smart people are not quiet.
((("someone" "is" "smart" "+")) -> ("someone" "is" "quiet" "-"))
If someone is quiet and smart then they are big.
((("someone" "is" "quiet" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "big" "+"))
If Erin is green then Erin is quiet.
((("Erin" "is" "green" "+")) -> ("Erin" "is" "quiet" "+"))
Erin is green.
True
1
proof
[(triple1)]
("Erin" "is" "green" "+")
triple1
Erin is not green.
False
1
inv-proof
[(triple1)]
("Erin" "is" "green" "-")
triple1
Erin is quiet.
True
2
proof
[(((triple1) -> rule8))]
("Erin" "is" "quiet" "+")
((triple1) -> (rule8 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is not quiet.
False
2
inv-proof
[(((triple1) -> rule8))]
("Erin" "is" "quiet" "-")
((triple1) -> (rule8 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is white.
True
3
proof
[(((((triple1) -> rule8)) -> rule5))]
("Erin" "is" "white" "+")
((((triple1) -> (rule8 % int2))) -> (rule5 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is not white.
False
3
inv-proof
[(((((triple1) -> rule8)) -> rule5))]
("Erin" "is" "white" "-")
((((triple1) -> (rule8 % int2))) -> (rule5 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is young.
True
4
proof
[(((((((triple1) -> rule8)) -> rule5)) -> rule2))]
("Erin" "is" "young" "+")
((((((triple1) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is not young.
False
4
inv-proof
[(((((((triple1) -> rule8)) -> rule5)) -> rule2))]
("Erin" "is" "young" "-")
((((((triple1) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is not big.
Unknown
inv-rconc
[@1: Erin is big.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Erin" "is" "big" "-")
Erin is smart.
Unknown
random
[@0: Erin is smart.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "smart" "+")
@0: Erin is green.[(triple1)] @1: Erin is quiet.[(((triple1) -> rule8))] @2: Erin is white.[(((((triple1) -> rule8)) -> rule5))] @3: Erin is young.[(((((((triple1) -> rule8)) -> rule5)) -> rule2))] @4: Erin is not round.[(((((((((triple1) -> rule8)) -> rule5)) -> rule2)) -> rule1))]
Erin is green.
("Erin" "is" "green" "+")
triple1
Erin is quiet.
("Erin" "is" "quiet" "+")
((triple1) -> (rule8 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
((((triple1) -> (rule8 % int2))) -> (rule5 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
((((((triple1) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is not round.
("Erin" "is" "round" "-")
((((((((triple1) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Erin is not round.
("Erin" "is" "round" "-")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4