Erin is smart. If Erin is blue and Erin is white then Erin is big. If Erin is smart and Erin is blue then Erin is round. If something is white then it is blue. Smart, nice things are white. If Erin is white then Erin is smart. All smart things are white.
Erin is smart.
("Erin" "is" "smart" "+")
If Erin is blue and Erin is white then Erin is big.
((("Erin" "is" "blue" "+") ("Erin" "is" "white" "+")) -> ("Erin" "is" "big" "+"))
If Erin is smart and Erin is blue then Erin is round.
((("Erin" "is" "smart" "+") ("Erin" "is" "blue" "+")) -> ("Erin" "is" "round" "+"))
If something is white then it is blue.
((("something" "is" "white" "+")) -> ("something" "is" "blue" "+"))
Smart, nice things are white.
((("something" "is" "smart" "+") ("something" "is" "nice" "+")) -> ("something" "is" "white" "+"))
If Erin is white then Erin is smart.
((("Erin" "is" "white" "+")) -> ("Erin" "is" "smart" "+"))
All smart things are white.
((("something" "is" "smart" "+")) -> ("something" "is" "white" "+"))
Erin is smart.
True
1
proof
[(triple1)]
("Erin" "is" "smart" "+")
triple1
Erin is not smart.
False
1
inv-proof
[(triple1)]
("Erin" "is" "smart" "-")
triple1
Erin is white.
True
2
proof
[(((triple1) -> rule6))]
("Erin" "is" "white" "+")
((triple1) -> (rule6 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is not white.
False
2
inv-proof
[(((triple1) -> rule6))]
("Erin" "is" "white" "-")
((triple1) -> (rule6 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is blue.
True
3
proof
[(((((triple1) -> rule6)) -> rule3))]
("Erin" "is" "blue" "+")
((((triple1) -> (rule6 % int2))) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is not blue.
False
3
inv-proof
[(((((triple1) -> rule6)) -> rule3))]
("Erin" "is" "blue" "-")
((((triple1) -> (rule6 % int2))) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is round.
True
5
proof
[(((triple1 ((((triple1) -> rule6)) -> rule3)) -> rule2))]
("Erin" "is" "round" "+")
((triple1 ((((triple1) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is not big.
False
6
inv-proof
[(((((((triple1) -> rule6)) -> rule3) ((triple1) -> rule6)) -> rule1))]
("Erin" "is" "big" "-")
((((((triple1) -> (rule6 % int3))) -> (rule3 % int2)) ((triple1) -> (rule6 % int3))) -> (rule1 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is not young.
Unknown
inv-random
[@0: Erin is young.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "young" "-")
Erin is nice.
Unknown
random
[@0: Erin is nice.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "nice" "+")
@0: Erin is smart.[(triple1)] @1: Erin is white.[(((triple1) -> rule6))] @2: Erin is blue.[(((((triple1) -> rule6)) -> rule3))] @3: Erin is big.[(((((((triple1) -> rule6)) -> rule3) ((triple1) -> rule6)) -> rule1))] Erin is round.[(((triple1 ((((triple1) -> rule6)) -> rule3)) -> rule2))]
Erin is smart.
("Erin" "is" "smart" "+")
triple1
Erin is white.
("Erin" "is" "white" "+")
((triple1) -> (rule6 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
((((triple1) -> (rule6 % int2))) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
((((((triple1) -> (rule6 % int3))) -> (rule3 % int2)) ((triple1) -> (rule6 % int3))) -> (rule1 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
((triple1 ((((triple1) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3