Anne is kind. Anne is quiet. Charlie is not blue. Charlie is not cold. Erin is blue. Erin is kind. Erin is nice. Erin is not round. Harry is blue. Harry is quiet. If something is round and not blue then it is nice. If something is nice then it is white.
Anne is kind.
("Anne" "is" "kind" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Charlie is not blue.
("Charlie" "is" "blue" "-")
Charlie is not cold.
("Charlie" "is" "cold" "-")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is not round.
("Erin" "is" "round" "-")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
If something is round and not blue then it is nice.
((("something" "is" "round" "+") ("something" "is" "blue" "~")) -> ("something" "is" "nice" "+"))
If something is nice then it is white.
((("something" "is" "nice" "+")) -> ("something" "is" "white" "+"))
Charlie is not blue.
True
1
proof
[(triple3)]
("Charlie" "is" "blue" "-")
triple3
Harry is not quiet.
False
1
inv-proof
[(triple10)]
("Harry" "is" "quiet" "-")
triple10
Anne is not nice.
Unknown
inv-rconc
[@1: Anne is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "nice" "-")
Charlie is round.
Unknown
random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "+")
@0: Anne is kind.[(triple1)] Anne is quiet.[(triple2)] Charlie is not blue.[(triple3)] Charlie is not cold.[(triple4)] Erin is blue.[(triple5)] Erin is kind.[(triple6)] Erin is nice.[(triple7)] Erin is not round.[(triple8)] Harry is blue.[(triple9)] Harry is quiet.[(triple10)] @1: Erin is white.[(((triple7) -> rule2))]
Anne is kind.
("Anne" "is" "kind" "+")
triple1
Anne is quiet.
("Anne" "is" "quiet" "+")
triple2
Charlie is not blue.
("Charlie" "is" "blue" "-")
triple3
Charlie is not cold.
("Charlie" "is" "cold" "-")
triple4
Erin is blue.
("Erin" "is" "blue" "+")
triple5
Erin is kind.
("Erin" "is" "kind" "+")
triple6
Erin is nice.
("Erin" "is" "nice" "+")
triple7
Erin is not round.
("Erin" "is" "round" "-")
triple8
Harry is blue.
("Harry" "is" "blue" "+")
triple9
Harry is quiet.
("Harry" "is" "quiet" "+")
triple10
Erin is white.
("Erin" "is" "white" "+")
((triple7) -> (rule2 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1