Anne is not blue. Anne is not cold. Anne is not furry. Anne is not kind. Anne is nice. Anne is quiet. Anne is not white. Bob is blue. Bob is furry. Bob is kind. Bob is quiet. Bob is white. Gary is blue. Gary is kind. Gary is nice. If Bob is kind then Bob is white. If someone is blue then they are white. If Bob is not nice then Bob is kind. Cold, white people are kind. Blue people are not cold. If someone is nice and not white then they are quiet. If someone is kind and not quiet then they are furry. Nice, white people are furry.
Anne is not blue.
("Anne" "is" "blue" "-")
Anne is not cold.
("Anne" "is" "cold" "-")
Anne is not furry.
("Anne" "is" "furry" "-")
Anne is not kind.
("Anne" "is" "kind" "-")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is not white.
("Anne" "is" "white" "-")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is white.
("Bob" "is" "white" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is nice.
("Gary" "is" "nice" "+")
If Bob is kind then Bob is white.
((("Bob" "is" "kind" "+")) -> ("Bob" "is" "white" "+"))
If someone is blue then they are white.
((("someone" "is" "blue" "+")) -> ("someone" "is" "white" "+"))
If Bob is not nice then Bob is kind.
((("Bob" "is" "nice" "~")) -> ("Bob" "is" "kind" "+"))
Cold, white people are kind.
((("someone" "is" "cold" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "kind" "+"))
Blue people are not cold.
((("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "-"))
If someone is nice and not white then they are quiet.
((("someone" "is" "nice" "+") ("someone" "is" "white" "~")) -> ("someone" "is" "quiet" "+"))
If someone is kind and not quiet then they are furry.
((("someone" "is" "kind" "+") ("someone" "is" "quiet" "~")) -> ("someone" "is" "furry" "+"))
Nice, white people are furry.
((("someone" "is" "nice" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "furry" "+"))
Anne is not white.
True
1
proof
[(triple7)]
("Anne" "is" "white" "-")
triple7
Bob is not blue.
False
1
inv-proof
[(triple8)]
("Bob" "is" "blue" "-")
triple8
Gary is not cold.
True
2
proof
[(((triple13) -> rule5))]
("Gary" "is" "cold" "-")
((triple13) -> (rule5 % int1))
Gary is not cold.
("Gary" "is" "cold" "-")
int1
Bob is cold.
False
2
inv-proof
[(((triple8) -> rule5))]
("Bob" "is" "cold" "+")
((triple8) -> (rule5 % int1))
Bob is not cold.
("Bob" "is" "cold" "-")
int1
Gary is not quiet.
Unknown
inv-rconc
[@1: Gary is quiet.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Gary" "is" "quiet" "-")
Bob is nice.
Unknown
random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "+")
@0: Anne is nice.[(triple5)] Anne is not blue.[(triple1)] Anne is not cold.[(triple2)] Anne is not furry.[(triple3)] Anne is not kind.[(triple4)] Anne is not white.[(triple7)] Anne is quiet.[(triple6 OR ((triple5 triple7) -> rule6))] Bob is blue.[(triple8)] Bob is furry.[(triple9)] Bob is kind.[(triple10)] Bob is quiet.[(triple11)] Bob is white.[(triple12 OR ((triple10) -> rule1) OR ((triple8) -> rule2))] Gary is blue.[(triple13)] Gary is kind.[(triple14)] Gary is nice.[(triple15)] @1: Bob is not cold.[(((triple8) -> rule5))] Gary is not cold.[(((triple13) -> rule5))] Gary is white.[(((triple13) -> rule2))] @2: Gary is furry.[(((triple15 ((triple13) -> rule2)) -> rule8))]
Anne is nice.
("Anne" "is" "nice" "+")
triple5
Anne is not blue.
("Anne" "is" "blue" "-")
triple1
Anne is not cold.
("Anne" "is" "cold" "-")
triple2
Anne is not furry.
("Anne" "is" "furry" "-")
triple3
Anne is not kind.
("Anne" "is" "kind" "-")
triple4
Anne is not white.
("Anne" "is" "white" "-")
triple7
Anne is quiet.
("Anne" "is" "quiet" "+")
triple6
((triple5 triple7) -> (rule6 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
triple8
Bob is furry.
("Bob" "is" "furry" "+")
triple9
Bob is kind.
("Bob" "is" "kind" "+")
triple10
Bob is quiet.
("Bob" "is" "quiet" "+")
triple11
Bob is white.
("Bob" "is" "white" "+")
triple12
((triple10) -> (rule1 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
((triple8) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
triple13
Gary is kind.
("Gary" "is" "kind" "+")
triple14
Gary is nice.
("Gary" "is" "nice" "+")
triple15
Bob is not cold.
("Bob" "is" "cold" "-")
((triple8) -> (rule5 % int1))
Bob is not cold.
("Bob" "is" "cold" "-")
int1
Gary is not cold.
("Gary" "is" "cold" "-")
((triple13) -> (rule5 % int1))
Gary is not cold.
("Gary" "is" "cold" "-")
int1
Gary is white.
("Gary" "is" "white" "+")
((triple13) -> (rule2 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
((triple15 ((triple13) -> (rule2 % int2))) -> (rule8 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2