Anne is kind. Charlie is not round. Erin is kind. All round things are not quiet. All nice, quiet things are not round. Kind things are round.
Anne is kind.
("Anne" "is" "kind" "+")
Charlie is not round.
("Charlie" "is" "round" "-")
Erin is kind.
("Erin" "is" "kind" "+")
All round things are not quiet.
((("something" "is" "round" "+")) -> ("something" "is" "quiet" "-"))
All nice, quiet things are not round.
((("something" "is" "nice" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "round" "-"))
Kind things are round.
((("something" "is" "kind" "+")) -> ("something" "is" "round" "+"))
Charlie is not round.
True
1
proof
[(triple2)]
("Charlie" "is" "round" "-")
triple2
Erin is not kind.
False
1
inv-proof
[(triple3)]
("Erin" "is" "kind" "-")
triple3
Erin is round.
True
2
proof
[(((triple3) -> rule3))]
("Erin" "is" "round" "+")
((triple3) -> (rule3 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is not round.
False
2
inv-proof
[(((triple3) -> rule3))]
("Erin" "is" "round" "-")
((triple3) -> (rule3 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is not quiet.
True
3
proof
[(((((triple3) -> rule3)) -> rule1))]
("Erin" "is" "quiet" "-")
((((triple3) -> (rule3 % int2))) -> (rule1 % int1))
Erin is not quiet.
("Erin" "is" "quiet" "-")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Anne is quiet.
False
3
inv-proof
[(((((triple1) -> rule3)) -> rule1))]
("Anne" "is" "quiet" "+")
((((triple1) -> (rule3 % int2))) -> (rule1 % int1))
Anne is not quiet.
("Anne" "is" "quiet" "-")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Erin is not red.
Unknown
inv-random
[@0: Erin is red.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "red" "-")
Charlie is red.
Unknown
random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "+")
Erin is not nice.
Unknown
inv-random
[@0: Erin is nice.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "nice" "-")
Charlie is nice.
Unknown
random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "+")
Anne is not big.
Unknown
inv-random
[@0: Anne is big.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "big" "-")
Erin is big.
Unknown
random
[@0: Erin is big.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "big" "+")
@0: Anne is kind.[(triple1)] Charlie is not round.[(triple2)] Erin is kind.[(triple3)] @1: Anne is round.[(((triple1) -> rule3))] Erin is round.[(((triple3) -> rule3))] @2: Anne is not quiet.[(((((triple1) -> rule3)) -> rule1))] Erin is not quiet.[(((((triple3) -> rule3)) -> rule1))]
Anne is kind.
("Anne" "is" "kind" "+")
triple1
Charlie is not round.
("Charlie" "is" "round" "-")
triple2
Erin is kind.
("Erin" "is" "kind" "+")
triple3
Anne is round.
("Anne" "is" "round" "+")
((triple1) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
((triple3) -> (rule3 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Anne is not quiet.
("Anne" "is" "quiet" "-")
((((triple1) -> (rule3 % int2))) -> (rule1 % int1))
Anne is not quiet.
("Anne" "is" "quiet" "-")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Erin is not quiet.
("Erin" "is" "quiet" "-")
((((triple3) -> (rule3 % int2))) -> (rule1 % int1))
Erin is not quiet.
("Erin" "is" "quiet" "-")
int1
Erin is round.
("Erin" "is" "round" "+")
int2