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