Anne is kind. Anne is red. Anne is white. Anne is young. Bob is not cold. Bob is round. Gary is kind. Gary is not red. Gary is not white. Gary is not young. Harry is kind. Harry is red. If something is white then it is not blue. If something is blue then it is not white. If something is round and not kind then it is not cold. All kind, round things are not cold. If something is young and not white then it is red. All round, cold things are red.
Anne is kind.
("Anne" "is" "kind" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is white.
("Anne" "is" "white" "+")
Anne is young.
("Anne" "is" "young" "+")
Bob is not cold.
("Bob" "is" "cold" "-")
Bob is round.
("Bob" "is" "round" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is not red.
("Gary" "is" "red" "-")
Gary is not white.
("Gary" "is" "white" "-")
Gary is not young.
("Gary" "is" "young" "-")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is red.
("Harry" "is" "red" "+")
If something is white then it is not blue.
((("something" "is" "white" "+")) -> ("something" "is" "blue" "-"))
If something is blue then it is not white.
((("something" "is" "blue" "+")) -> ("something" "is" "white" "-"))
If something is round and not kind then it is not cold.
((("something" "is" "round" "+") ("something" "is" "kind" "~")) -> ("something" "is" "cold" "-"))
All kind, round things are not cold.
((("something" "is" "kind" "+") ("something" "is" "round" "+")) -> ("something" "is" "cold" "-"))
If something is young and not white then it is red.
((("something" "is" "young" "+") ("something" "is" "white" "~")) -> ("something" "is" "red" "+"))
All round, cold things are red.
((("something" "is" "round" "+") ("something" "is" "cold" "+")) -> ("something" "is" "red" "+"))
Harry is kind.
True
1
proof
[(triple11)]
("Harry" "is" "kind" "+")
triple11
Bob is not round.
False
1
inv-proof
[(triple6)]
("Bob" "is" "round" "-")
triple6
Bob is not red.
Unknown
inv-rconc
[@1: Bob is red.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Bob" "is" "red" "-")
Anne is cold.
Unknown
random
[@0: Anne is cold.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "cold" "+")
@0: Anne is kind.[(triple1)] Anne is red.[(triple2)] Anne is white.[(triple3)] Anne is young.[(triple4)] Bob is not cold.[(triple5)] Bob is round.[(triple6)] Gary is kind.[(triple7)] Gary is not red.[(triple8)] Gary is not white.[(triple9)] Gary is not young.[(triple10)] Harry is kind.[(triple11)] Harry is red.[(triple12)] @1: Anne is not blue.[(((triple3) -> rule1))]
Anne is kind.
("Anne" "is" "kind" "+")
triple1
Anne is red.
("Anne" "is" "red" "+")
triple2
Anne is white.
("Anne" "is" "white" "+")
triple3
Anne is young.
("Anne" "is" "young" "+")
triple4
Bob is not cold.
("Bob" "is" "cold" "-")
triple5
Bob is round.
("Bob" "is" "round" "+")
triple6
Gary is kind.
("Gary" "is" "kind" "+")
triple7
Gary is not red.
("Gary" "is" "red" "-")
triple8
Gary is not white.
("Gary" "is" "white" "-")
triple9
Gary is not young.
("Gary" "is" "young" "-")
triple10
Harry is kind.
("Harry" "is" "kind" "+")
triple11
Harry is red.
("Harry" "is" "red" "+")
triple12
Anne is not blue.
("Anne" "is" "blue" "-")
((triple3) -> (rule1 % int1))
Anne is not blue.
("Anne" "is" "blue" "-")
int1