Charlie is kind. Erin is rough. Gary is nice. Harry is blue. If Erin is kind then Erin is not cold. If Gary is kind and Gary is cold then Gary is nice. If Charlie is kind then Charlie is not rough.
Charlie is kind.
("Charlie" "is" "kind" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If Erin is kind then Erin is not cold.
((("Erin" "is" "kind" "+")) -> ("Erin" "is" "cold" "-"))
If Gary is kind and Gary is cold then Gary is nice.
((("Gary" "is" "kind" "+") ("Gary" "is" "cold" "+")) -> ("Gary" "is" "nice" "+"))
If Charlie is kind then Charlie is not rough.
((("Charlie" "is" "kind" "+")) -> ("Charlie" "is" "rough" "-"))
Charlie is kind.
True
1
proof
[(triple1)]
("Charlie" "is" "kind" "+")
triple1
Charlie is not kind.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "kind" "-")
triple1
Charlie is not rough.
True
2
proof
[(((triple1) -> rule3))]
("Charlie" "is" "rough" "-")
((triple1) -> (rule3 % int1))
Charlie is not rough.
("Charlie" "is" "rough" "-")
int1
Charlie is rough.
False
2
inv-proof
[(((triple1) -> rule3))]
("Charlie" "is" "rough" "+")
((triple1) -> (rule3 % int1))
Charlie is not rough.
("Charlie" "is" "rough" "-")
int1
Gary is not blue.
Unknown
inv-random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
Charlie is not round.
Unknown
inv-random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "-")
Harry is round.
Unknown
random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "+")
@0: Charlie is kind.[(triple1)] Erin is rough.[(triple2)] Gary is nice.[(triple3)] Harry is blue.[(triple4)] @1: Charlie is not rough.[(((triple1) -> rule3))]
Charlie is kind.
("Charlie" "is" "kind" "+")
triple1
Erin is rough.
("Erin" "is" "rough" "+")
triple2
Gary is nice.
("Gary" "is" "nice" "+")
triple3
Harry is blue.
("Harry" "is" "blue" "+")
triple4
Charlie is not rough.
("Charlie" "is" "rough" "-")
((triple1) -> (rule3 % int1))
Charlie is not rough.
("Charlie" "is" "rough" "-")
int1