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