Erin is big. If something is red and rough then it is big. All big, quiet things are kind. If Erin is rough and Erin is red then Erin is quiet. If something is blue then it is red. Big things are quiet. Kind, big things are blue.
Erin is big.
("Erin" "is" "big" "+")
If something is red and rough then it is big.
((("something" "is" "red" "+") ("something" "is" "rough" "+")) -> ("something" "is" "big" "+"))
All big, quiet things are kind.
((("something" "is" "big" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "kind" "+"))
If Erin is rough and Erin is red then Erin is quiet.
((("Erin" "is" "rough" "+") ("Erin" "is" "red" "+")) -> ("Erin" "is" "quiet" "+"))
If something is blue then it is red.
((("something" "is" "blue" "+")) -> ("something" "is" "red" "+"))
Big things are quiet.
((("something" "is" "big" "+")) -> ("something" "is" "quiet" "+"))
Kind, big things are blue.
((("something" "is" "kind" "+") ("something" "is" "big" "+")) -> ("something" "is" "blue" "+"))
Erin is big.
True
1
proof
[(triple1)]
("Erin" "is" "big" "+")
triple1
Erin is not big.
False
1
inv-proof
[(triple1)]
("Erin" "is" "big" "-")
triple1
Erin is quiet.
True
2
proof
[(((triple1) -> rule5))]
("Erin" "is" "quiet" "+")
((triple1) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is not quiet.
False
2
inv-proof
[(((triple1) -> rule5))]
("Erin" "is" "quiet" "-")
((triple1) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is kind.
True
4
proof
[(((triple1 ((triple1) -> rule5)) -> rule2))]
("Erin" "is" "kind" "+")
((triple1 ((triple1) -> (rule5 % int2))) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is not kind.
False
4
inv-proof
[(((triple1 ((triple1) -> rule5)) -> rule2))]
("Erin" "is" "kind" "-")
((triple1 ((triple1) -> (rule5 % int2))) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is blue.
True
6
proof
[(((((triple1 ((triple1) -> rule5)) -> rule2) triple1) -> rule6))]
("Erin" "is" "blue" "+")
((((triple1 ((triple1) -> (rule5 % int3))) -> (rule2 % int2)) triple1) -> (rule6 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is not blue.
False
6
inv-proof
[(((((triple1 ((triple1) -> rule5)) -> rule2) triple1) -> rule6))]
("Erin" "is" "blue" "-")
((((triple1 ((triple1) -> (rule5 % int3))) -> (rule2 % int2)) triple1) -> (rule6 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is not smart.
Unknown
inv-random
[@0: Erin is smart.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "smart" "-")
Erin is rough.
Unknown
random
[@0: Erin is rough.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "rough" "+")
@0: Erin is big.[(triple1)] @1: Erin is quiet.[(((triple1) -> rule5))] @2: Erin is kind.[(((triple1 ((triple1) -> rule5)) -> rule2))] @3: Erin is blue.[(((((triple1 ((triple1) -> rule5)) -> rule2) triple1) -> rule6))] @4: Erin is red.[(((((((triple1 ((triple1) -> rule5)) -> rule2) triple1) -> rule6)) -> rule4))]
Erin is big.
("Erin" "is" "big" "+")
triple1
Erin is quiet.
("Erin" "is" "quiet" "+")
((triple1) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
((triple1 ((triple1) -> (rule5 % int2))) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
((((triple1 ((triple1) -> (rule5 % int3))) -> (rule2 % int2)) triple1) -> (rule6 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
((((((triple1 ((triple1) -> (rule5 % int4))) -> (rule2 % int3)) triple1) -> (rule6 % int2))) -> (rule4 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4