Erin is big. Erin is kind. Erin is smart. All kind people are quiet. If Erin is quiet then Erin is green. If someone is green and quiet then they are kind.
Erin is big.
("Erin" "is" "big" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is smart.
("Erin" "is" "smart" "+")
All kind people are quiet.
((("someone" "is" "kind" "+")) -> ("someone" "is" "quiet" "+"))
If Erin is quiet then Erin is green.
((("Erin" "is" "quiet" "+")) -> ("Erin" "is" "green" "+"))
If someone is green and quiet then they are kind.
((("someone" "is" "green" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "kind" "+"))
Erin is kind.
True
1
proof
[(triple2)]
("Erin" "is" "kind" "+")
triple2
Erin is not smart.
False
1
inv-proof
[(triple3)]
("Erin" "is" "smart" "-")
triple3
Erin is quiet.
True
2
proof
[(((triple2) -> rule1))]
("Erin" "is" "quiet" "+")
((triple2) -> (rule1 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is not quiet.
False
2
inv-proof
[(((triple2) -> rule1))]
("Erin" "is" "quiet" "-")
((triple2) -> (rule1 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is green.
True
3
proof
[(((((triple2) -> rule1)) -> rule2))]
("Erin" "is" "green" "+")
((((triple2) -> (rule1 % int2))) -> (rule2 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is not green.
False
3
inv-proof
[(((((triple2) -> rule1)) -> rule2))]
("Erin" "is" "green" "-")
((((triple2) -> (rule1 % int2))) -> (rule2 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is not nice.
Unknown
inv-random
[@0: Erin is nice.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "nice" "-")
Erin is white.
Unknown
random
[@0: Erin is white.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "white" "+")
@0: Erin is big.[(triple1)] Erin is kind.[(triple2)] Erin is smart.[(triple3)] @1: Erin is quiet.[(((triple2) -> rule1))] @2: Erin is green.[(((((triple2) -> rule1)) -> rule2))]
Erin is big.
("Erin" "is" "big" "+")
triple1
Erin is kind.
("Erin" "is" "kind" "+")
triple2
Erin is smart.
("Erin" "is" "smart" "+")
triple3
Erin is quiet.
("Erin" "is" "quiet" "+")
((triple2) -> (rule1 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
((((triple2) -> (rule1 % int2))) -> (rule2 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2