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