Charlie is cold. Charlie is kind. Charlie is nice. Charlie is not young. Erin is not cold. Erin is kind. Erin is nice. Erin is not quiet. Erin is rough. Erin is not young. If something is kind and not white then it is nice. White things are not rough. If something is quiet then it is rough. If Erin is not nice and Erin is not kind then Erin is cold. If something is nice and not white then it is young. If something is cold and not white then it is young. All white things are quiet. If something is cold then it is quiet.
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is not young.
("Charlie" "is" "young" "-")
Erin is not cold.
("Erin" "is" "cold" "-")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is not quiet.
("Erin" "is" "quiet" "-")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is not young.
("Erin" "is" "young" "-")
If something is kind and not white then it is nice.
((("something" "is" "kind" "+") ("something" "is" "white" "~")) -> ("something" "is" "nice" "+"))
White things are not rough.
((("something" "is" "white" "+")) -> ("something" "is" "rough" "-"))
If something is quiet then it is rough.
((("something" "is" "quiet" "+")) -> ("something" "is" "rough" "+"))
If Erin is not nice and Erin is not kind then Erin is cold.
((("Erin" "is" "nice" "~") ("Erin" "is" "kind" "~")) -> ("Erin" "is" "cold" "+"))
If something is nice and not white then it is young.
((("something" "is" "nice" "+") ("something" "is" "white" "~")) -> ("something" "is" "young" "+"))
If something is cold and not white then it is young.
((("something" "is" "cold" "+") ("something" "is" "white" "~")) -> ("something" "is" "young" "+"))
All white things are quiet.
((("something" "is" "white" "+")) -> ("something" "is" "quiet" "+"))
If something is cold then it is quiet.
((("something" "is" "cold" "+")) -> ("something" "is" "quiet" "+"))
Erin is kind.
True
1
proof
[(triple6)]
("Erin" "is" "kind" "+")
triple6
Charlie is young.
False
1
inv-proof
[(triple4)]
("Charlie" "is" "young" "+")
triple4
Charlie is quiet.
True
2
proof
[(((triple1) -> rule8))]
("Charlie" "is" "quiet" "+")
((triple1) -> (rule8 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is not quiet.
False
2
inv-proof
[(((triple1) -> rule8))]
("Charlie" "is" "quiet" "-")
((triple1) -> (rule8 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is not white.
Unknown
inv-random
[@0: Charlie is white.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "white" "-")
Erin is white.
Unknown
random
[@0: Erin is white.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "white" "+")
@0: Charlie is cold.[(triple1)] Charlie is kind.[(triple2)] Charlie is nice.[(triple3)] Charlie is not young.[(triple4)] Erin is kind.[(triple6)] Erin is nice.[(triple7)] Erin is not cold.[(triple5)] Erin is not quiet.[(triple8)] Erin is not young.[(triple10)] Erin is rough.[(triple9)] @1: Charlie is quiet.[(((triple1) -> rule8))] @2: Charlie is rough.[(((((triple1) -> rule8)) -> rule3))]
Charlie is cold.
("Charlie" "is" "cold" "+")
triple1
Charlie is kind.
("Charlie" "is" "kind" "+")
triple2
Charlie is nice.
("Charlie" "is" "nice" "+")
triple3
Charlie is not young.
("Charlie" "is" "young" "-")
triple4
Erin is kind.
("Erin" "is" "kind" "+")
triple6
Erin is nice.
("Erin" "is" "nice" "+")
triple7
Erin is not cold.
("Erin" "is" "cold" "-")
triple5
Erin is not quiet.
("Erin" "is" "quiet" "-")
triple8
Erin is not young.
("Erin" "is" "young" "-")
triple10
Erin is rough.
("Erin" "is" "rough" "+")
triple9
Charlie is quiet.
("Charlie" "is" "quiet" "+")
((triple1) -> (rule8 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
((((triple1) -> (rule8 % int2))) -> (rule3 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2