Bob is cold. Charlie is white. Erin is blue. White, nice people are furry. If Erin is white and Erin is furry then Erin is nice. Big people are cold.
Bob is cold.
("Bob" "is" "cold" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Erin is blue.
("Erin" "is" "blue" "+")
White, nice people are furry.
((("someone" "is" "white" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "furry" "+"))
If Erin is white and Erin is furry then Erin is nice.
((("Erin" "is" "white" "+") ("Erin" "is" "furry" "+")) -> ("Erin" "is" "nice" "+"))
Big people are cold.
((("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
Erin is blue.
True
1
proof
[(triple3)]
("Erin" "is" "blue" "+")
triple3
Erin is not blue.
False
1
inv-proof
[(triple3)]
("Erin" "is" "blue" "-")
triple3
Erin is not furry.
Unknown
inv-rconc
[@1: Erin is furry.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "furry" "-")
Bob is big.
Unknown
random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "+")
@0: Bob is cold.[(triple1)] Charlie is white.[(triple2)] Erin is blue.[(triple3)]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Charlie is white.
("Charlie" "is" "white" "+")
triple2
Erin is blue.
("Erin" "is" "blue" "+")
triple3