Anne is not smart. Anne is white. Bob is cold. Bob is furry. Dave is not cold. Dave is not red. Gary is cold. Gary is green. Gary is smart. Gary is not white. White things are not nice. Smart, white things are not furry. If Gary is not nice then Gary is cold.
Anne is not smart.
("Anne" "is" "smart" "-")
Anne is white.
("Anne" "is" "white" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Dave is not cold.
("Dave" "is" "cold" "-")
Dave is not red.
("Dave" "is" "red" "-")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is not white.
("Gary" "is" "white" "-")
White things are not nice.
((("something" "is" "white" "+")) -> ("something" "is" "nice" "-"))
Smart, white things are not furry.
((("something" "is" "smart" "+") ("something" "is" "white" "+")) -> ("something" "is" "furry" "-"))
If Gary is not nice then Gary is cold.
((("Gary" "is" "nice" "~")) -> ("Gary" "is" "cold" "+"))
Gary is smart.
True
1
proof
[(triple9)]
("Gary" "is" "smart" "+")
triple9
Gary is not green.
False
1
inv-proof
[(triple8)]
("Gary" "is" "green" "-")
triple8
Anne is not nice.
True
2
proof
[(((triple2) -> rule1))]
("Anne" "is" "nice" "-")
((triple2) -> (rule1 % int1))
Anne is not nice.
("Anne" "is" "nice" "-")
int1
Anne is nice.
False
2
inv-proof
[(((triple2) -> rule1))]
("Anne" "is" "nice" "+")
((triple2) -> (rule1 % int1))
Anne is not nice.
("Anne" "is" "nice" "-")
int1
Dave is not white.
Unknown
inv-random
[@0: Dave is white.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "white" "-")
Bob is nice.
Unknown
random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "+")
Anne is not furry.
Unknown
inv-random
[@0: Anne is furry.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "furry" "-")
Bob is smart.
Unknown
random
[@0: Bob is smart.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "smart" "+")
@0: Anne is not smart.[(triple1)] Anne is white.[(triple2)] Bob is cold.[(triple3)] Bob is furry.[(triple4)] Dave is not cold.[(triple5)] Dave is not red.[(triple6)] Gary is cold.[(triple7)] Gary is green.[(triple8)] Gary is not white.[(triple10)] Gary is smart.[(triple9)] @1: Anne is not nice.[(((triple2) -> rule1))]
Anne is not smart.
("Anne" "is" "smart" "-")
triple1
Anne is white.
("Anne" "is" "white" "+")
triple2
Bob is cold.
("Bob" "is" "cold" "+")
triple3
Bob is furry.
("Bob" "is" "furry" "+")
triple4
Dave is not cold.
("Dave" "is" "cold" "-")
triple5
Dave is not red.
("Dave" "is" "red" "-")
triple6
Gary is cold.
("Gary" "is" "cold" "+")
triple7
Gary is green.
("Gary" "is" "green" "+")
triple8
Gary is not white.
("Gary" "is" "white" "-")
triple10
Gary is smart.
("Gary" "is" "smart" "+")
triple9
Anne is not nice.
("Anne" "is" "nice" "-")
((triple2) -> (rule1 % int1))
Anne is not nice.
("Anne" "is" "nice" "-")
int1