Dave is furry. Erin is cold. Fiona is smart. If Erin is cold and Erin is blue then Erin is white. All cold, big people are furry. Cold people are quiet. White people are big. If someone is smart and furry then they are big. All white, quiet people are cold.
Dave is furry.
("Dave" "is" "furry" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
If Erin is cold and Erin is blue then Erin is white.
((("Erin" "is" "cold" "+") ("Erin" "is" "blue" "+")) -> ("Erin" "is" "white" "+"))
All cold, big people are furry.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "furry" "+"))
Cold people are quiet.
((("someone" "is" "cold" "+")) -> ("someone" "is" "quiet" "+"))
White people are big.
((("someone" "is" "white" "+")) -> ("someone" "is" "big" "+"))
If someone is smart and furry then they are big.
((("someone" "is" "smart" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "big" "+"))
All white, quiet people are cold.
((("someone" "is" "white" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "cold" "+"))
Erin is cold.
True
1
proof
[(triple2)]
("Erin" "is" "cold" "+")
triple2
Dave is not furry.
False
1
inv-proof
[(triple1)]
("Dave" "is" "furry" "-")
triple1
Fiona is not furry.
Unknown
inv-rconc
[@2: Fiona is furry.[CWA. Example of deepest failure = (rule2 <- rule6 <- FAIL)]]
("Fiona" "is" "furry" "-")
Fiona is white.
Unknown
random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "+")
@0: Dave is furry.[(triple1)] Erin is cold.[(triple2)] Fiona is smart.[(triple3)] @1: Erin is quiet.[(((triple2) -> rule3))]
Dave is furry.
("Dave" "is" "furry" "+")
triple1
Erin is cold.
("Erin" "is" "cold" "+")
triple2
Fiona is smart.
("Fiona" "is" "smart" "+")
triple3
Erin is quiet.
("Erin" "is" "quiet" "+")
((triple2) -> (rule3 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1