Anne is not cold. Anne is not red. Anne is rough. Bob is not furry. Bob is not round. Bob is not smart. Dave is red. Gary is red. Gary is rough. Gary is smart. White, round people are cold. All white people are not cold. All furry people are not rough. Furry, red people are white. If Gary is smart then Gary is round. If someone is rough then they are round. If Bob is red then Bob is smart. Cold people are furry.
Anne is not cold.
("Anne" "is" "cold" "-")
Anne is not red.
("Anne" "is" "red" "-")
Anne is rough.
("Anne" "is" "rough" "+")
Bob is not furry.
("Bob" "is" "furry" "-")
Bob is not round.
("Bob" "is" "round" "-")
Bob is not smart.
("Bob" "is" "smart" "-")
Dave is red.
("Dave" "is" "red" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is smart.
("Gary" "is" "smart" "+")
White, round people are cold.
((("someone" "is" "white" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
All white people are not cold.
((("someone" "is" "white" "+")) -> ("someone" "is" "cold" "-"))
All furry people are not rough.
((("someone" "is" "furry" "+")) -> ("someone" "is" "rough" "-"))
Furry, red people are white.
((("someone" "is" "furry" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "white" "+"))
If Gary is smart then Gary is round.
((("Gary" "is" "smart" "+")) -> ("Gary" "is" "round" "+"))
If someone is rough then they are round.
((("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
If Bob is red then Bob is smart.
((("Bob" "is" "red" "+")) -> ("Bob" "is" "smart" "+"))
Cold people are furry.
((("someone" "is" "cold" "+")) -> ("someone" "is" "furry" "+"))
Anne is not red.
True
1
proof
[(triple2)]
("Anne" "is" "red" "-")
triple2
Gary is not rough.
False
1
inv-proof
[(triple9)]
("Gary" "is" "rough" "-")
triple9
Gary is not white.
Unknown
inv-rconc
[@3: Gary is white.[CWA. Example of deepest failure = (rule4 <- rule8 <- rule1 <- FAIL)]]
("Gary" "is" "white" "-")
Dave is rough.
Unknown
random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "+")
@0: Anne is not cold.[(triple1)] Anne is not red.[(triple2)] Anne is rough.[(triple3)] Bob is not furry.[(triple4)] Bob is not round.[(triple5)] Bob is not smart.[(triple6)] Dave is red.[(triple7)] Gary is red.[(triple8)] Gary is rough.[(triple9)] Gary is smart.[(triple10)] @1: Anne is round.[(((triple3) -> rule6))] Gary is round.[(((triple10) -> rule5) OR ((triple9) -> rule6))]
Anne is not cold.
("Anne" "is" "cold" "-")
triple1
Anne is not red.
("Anne" "is" "red" "-")
triple2
Anne is rough.
("Anne" "is" "rough" "+")
triple3
Bob is not furry.
("Bob" "is" "furry" "-")
triple4
Bob is not round.
("Bob" "is" "round" "-")
triple5
Bob is not smart.
("Bob" "is" "smart" "-")
triple6
Dave is red.
("Dave" "is" "red" "+")
triple7
Gary is red.
("Gary" "is" "red" "+")
triple8
Gary is rough.
("Gary" "is" "rough" "+")
triple9
Gary is smart.
("Gary" "is" "smart" "+")
triple10
Anne is round.
("Anne" "is" "round" "+")
((triple3) -> (rule6 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
((triple10) -> (rule5 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
((triple9) -> (rule6 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1