Bob is cold. Bob is furry. Bob is kind. Bob is white. Erin is rough. Harry is smart. Harry is white. If something is blue then it is cold. If something is white and rough then it is smart.
Bob is cold.
("Bob" "is" "cold" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is white.
("Bob" "is" "white" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is white.
("Harry" "is" "white" "+")
If something is blue then it is cold.
((("something" "is" "blue" "+")) -> ("something" "is" "cold" "+"))
If something is white and rough then it is smart.
((("something" "is" "white" "+") ("something" "is" "rough" "+")) -> ("something" "is" "smart" "+"))
Erin is rough.
True
1
proof
[(triple5)]
("Erin" "is" "rough" "+")
triple5
Harry is not smart.
False
1
inv-proof
[(triple6)]
("Harry" "is" "smart" "-")
triple6
Harry is not cold.
Unknown
inv-rconc
[@1: Harry is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "cold" "-")
Erin is white.
Unknown
random
[@0: Erin is white.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "white" "+")
@0: Bob is cold.[(triple1)] Bob is furry.[(triple2)] Bob is kind.[(triple3)] Bob is white.[(triple4)] Erin is rough.[(triple5)] Harry is smart.[(triple6)] Harry is white.[(triple7)]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Bob is furry.
("Bob" "is" "furry" "+")
triple2
Bob is kind.
("Bob" "is" "kind" "+")
triple3
Bob is white.
("Bob" "is" "white" "+")
triple4
Erin is rough.
("Erin" "is" "rough" "+")
triple5
Harry is smart.
("Harry" "is" "smart" "+")
triple6
Harry is white.
("Harry" "is" "white" "+")
triple7