Charlie is furry. Dave is rough. Erin is cold. Erin is furry. Erin is quiet. Fiona is blue. Fiona is white. All rough, red people are not quiet. All cold, furry people are quiet. All cold, white people are rough.
Charlie is furry.
("Charlie" "is" "furry" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is white.
("Fiona" "is" "white" "+")
All rough, red people are not quiet.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "quiet" "-"))
All cold, furry people are quiet.
((("someone" "is" "cold" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "quiet" "+"))
All cold, white people are rough.
((("someone" "is" "cold" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "rough" "+"))
Fiona is white.
True
1
proof
[(triple7)]
("Fiona" "is" "white" "+")
triple7
Fiona is not blue.
False
1
inv-proof
[(triple6)]
("Fiona" "is" "blue" "-")
triple6
Erin is not rough.
Unknown
inv-rconc
[@1: Erin is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Erin" "is" "rough" "-")
Charlie is red.
Unknown
random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "+")
@0: Charlie is furry.[(triple1)] Dave is rough.[(triple2)] Erin is cold.[(triple3)] Erin is furry.[(triple4)] Erin is quiet.[(triple5 OR ((triple3 triple4) -> rule2))] Fiona is blue.[(triple6)] Fiona is white.[(triple7)]
Charlie is furry.
("Charlie" "is" "furry" "+")
triple1
Dave is rough.
("Dave" "is" "rough" "+")
triple2
Erin is cold.
("Erin" "is" "cold" "+")
triple3
Erin is furry.
("Erin" "is" "furry" "+")
triple4
Erin is quiet.
("Erin" "is" "quiet" "+")
triple5
((triple3 triple4) -> (rule2 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
triple6
Fiona is white.
("Fiona" "is" "white" "+")
triple7