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