Anne is cold. Anne is not furry. Anne is not kind. Anne is nice. Anne is rough. Erin is cold. Erin is not furry. Erin is nice. Erin is smart. Erin is white. Harry is cold. Harry is furry. Harry is not kind. Harry is nice. Harry is rough. Harry is smart. If something is rough and not nice then it is white. If something is smart and not rough then it is cold.
Anne is 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 rough.
("Anne" "is" "rough" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is not furry.
("Erin" "is" "furry" "-")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is white.
("Erin" "is" "white" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is not kind.
("Harry" "is" "kind" "-")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is smart.
("Harry" "is" "smart" "+")
If something is rough and not nice then it is white.
((("something" "is" "rough" "+") ("something" "is" "nice" "~")) -> ("something" "is" "white" "+"))
If something is smart and not rough then it is cold.
((("something" "is" "smart" "+") ("something" "is" "rough" "~")) -> ("something" "is" "cold" "+"))
Erin is smart.
True
1
proof
[(triple9)]
("Erin" "is" "smart" "+")
triple9
Harry is not cold.
False
1
inv-proof
[(triple11)]
("Harry" "is" "cold" "-")
triple11
Harry is not white.
Unknown
inv-rconc
[@1: Harry is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "white" "-")
Erin is kind.
Unknown
random
[@0: Erin is kind.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "kind" "+")
@0: Anne is cold.[(triple1)] Anne is nice.[(triple4)] Anne is not furry.[(triple2)] Anne is not kind.[(triple3)] Anne is rough.[(triple5)] Erin is cold.[(triple6)] Erin is nice.[(triple8)] Erin is not furry.[(triple7)] Erin is smart.[(triple9)] Erin is white.[(triple10)] Harry is cold.[(triple11)] Harry is furry.[(triple12)] Harry is nice.[(triple14)] Harry is not kind.[(triple13)] Harry is rough.[(triple15)] Harry is smart.[(triple16)]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is nice.
("Anne" "is" "nice" "+")
triple4
Anne is not furry.
("Anne" "is" "furry" "-")
triple2
Anne is not kind.
("Anne" "is" "kind" "-")
triple3
Anne is rough.
("Anne" "is" "rough" "+")
triple5
Erin is cold.
("Erin" "is" "cold" "+")
triple6
Erin is nice.
("Erin" "is" "nice" "+")
triple8
Erin is not furry.
("Erin" "is" "furry" "-")
triple7
Erin is smart.
("Erin" "is" "smart" "+")
triple9
Erin is white.
("Erin" "is" "white" "+")
triple10
Harry is cold.
("Harry" "is" "cold" "+")
triple11
Harry is furry.
("Harry" "is" "furry" "+")
triple12
Harry is nice.
("Harry" "is" "nice" "+")
triple14
Harry is not kind.
("Harry" "is" "kind" "-")
triple13
Harry is rough.
("Harry" "is" "rough" "+")
triple15
Harry is smart.
("Harry" "is" "smart" "+")
triple16