Anne is nice. Charlie is round. Charlie is white. Fiona is blue. Fiona is white. Gary is kind. Gary is not nice. All nice things are not round.
Anne is nice.
("Anne" "is" "nice" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is not nice.
("Gary" "is" "nice" "-")
All nice things are not round.
((("something" "is" "nice" "+")) -> ("something" "is" "round" "-"))
Gary is kind.
True
1
proof
[(triple6)]
("Gary" "is" "kind" "+")
triple6
Gary is not kind.
False
1
inv-proof
[(triple6)]
("Gary" "is" "kind" "-")
triple6
Anne is not round.
True
2
proof
[(((triple1) -> rule1))]
("Anne" "is" "round" "-")
((triple1) -> (rule1 % int1))
Anne is not round.
("Anne" "is" "round" "-")
int1
Anne is round.
False
2
inv-proof
[(((triple1) -> rule1))]
("Anne" "is" "round" "+")
((triple1) -> (rule1 % int1))
Anne is not round.
("Anne" "is" "round" "-")
int1
Anne is not kind.
Unknown
inv-random
[@0: Anne is kind.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "kind" "-")
Anne is cold.
Unknown
random
[@0: Anne is cold.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "cold" "+")
Fiona is not cold.
Unknown
inv-random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "-")
Fiona is round.
Unknown
random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "+")
@0: Anne is nice.[(triple1)] Charlie is round.[(triple2)] Charlie is white.[(triple3)] Fiona is blue.[(triple4)] Fiona is white.[(triple5)] Gary is kind.[(triple6)] Gary is not nice.[(triple7)] @1: Anne is not round.[(((triple1) -> rule1))]
Anne is nice.
("Anne" "is" "nice" "+")
triple1
Charlie is round.
("Charlie" "is" "round" "+")
triple2
Charlie is white.
("Charlie" "is" "white" "+")
triple3
Fiona is blue.
("Fiona" "is" "blue" "+")
triple4
Fiona is white.
("Fiona" "is" "white" "+")
triple5
Gary is kind.
("Gary" "is" "kind" "+")
triple6
Gary is not nice.
("Gary" "is" "nice" "-")
triple7
Anne is not round.
("Anne" "is" "round" "-")
((triple1) -> (rule1 % int1))
Anne is not round.
("Anne" "is" "round" "-")
int1