Anne is not white. Charlie is cold. Charlie is nice. Charlie is round. Fiona is cold. Fiona is round. Harry is smart. If someone is nice then they are not smart. If Anne is cold and Anne is not blue then Anne is not white.
Anne is not white.
("Anne" "is" "white" "-")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Harry is smart.
("Harry" "is" "smart" "+")
If someone is nice then they are not smart.
((("someone" "is" "nice" "+")) -> ("someone" "is" "smart" "-"))
If Anne is cold and Anne is not blue then Anne is not white.
((("Anne" "is" "cold" "+") ("Anne" "is" "blue" "~")) -> ("Anne" "is" "white" "-"))
Charlie is round.
True
1
proof
[(triple4)]
("Charlie" "is" "round" "+")
triple4
Charlie is not round.
False
1
inv-proof
[(triple4)]
("Charlie" "is" "round" "-")
triple4
Fiona is not kind.
Unknown
inv-random
[@0: Fiona is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "kind" "-")
Fiona is smart.
Unknown
random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "+")
@0: Anne is not white.[(triple1)] Charlie is cold.[(triple2)] Charlie is nice.[(triple3)] Charlie is round.[(triple4)] Fiona is cold.[(triple5)] Fiona is round.[(triple6)] Harry is smart.[(triple7)] @1: Charlie is not smart.[(((triple3) -> rule1))]
Anne is not white.
("Anne" "is" "white" "-")
triple1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple2
Charlie is nice.
("Charlie" "is" "nice" "+")
triple3
Charlie is round.
("Charlie" "is" "round" "+")
triple4
Fiona is cold.
("Fiona" "is" "cold" "+")
triple5
Fiona is round.
("Fiona" "is" "round" "+")
triple6
Harry is smart.
("Harry" "is" "smart" "+")
triple7
Charlie is not smart.
("Charlie" "is" "smart" "-")
((triple3) -> (rule1 % int1))
Charlie is not smart.
("Charlie" "is" "smart" "-")
int1