Erin is cold. Erin is quiet. Erin is not red. Fiona is furry. Fiona is kind. Fiona is quiet. Fiona is not rough. All furry, rough things are green.
Erin is cold.
("Erin" "is" "cold" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is not red.
("Erin" "is" "red" "-")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is not rough.
("Fiona" "is" "rough" "-")
All furry, rough things are green.
((("something" "is" "furry" "+") ("something" "is" "rough" "+")) -> ("something" "is" "green" "+"))
Fiona is furry.
True
1
proof
[(triple4)]
("Fiona" "is" "furry" "+")
triple4
Fiona is not quiet.
False
1
inv-proof
[(triple6)]
("Fiona" "is" "quiet" "-")
triple6
Erin is not green.
Unknown
inv-rconc
[@1: Erin is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "green" "-")
Erin is kind.
Unknown
random
[@0: Erin is kind.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "kind" "+")
@0: Erin is cold.[(triple1)] Erin is not red.[(triple3)] Erin is quiet.[(triple2)] Fiona is furry.[(triple4)] Fiona is kind.[(triple5)] Fiona is not rough.[(triple7)] Fiona is quiet.[(triple6)]
Erin is cold.
("Erin" "is" "cold" "+")
triple1
Erin is not red.
("Erin" "is" "red" "-")
triple3
Erin is quiet.
("Erin" "is" "quiet" "+")
triple2
Fiona is furry.
("Fiona" "is" "furry" "+")
triple4
Fiona is kind.
("Fiona" "is" "kind" "+")
triple5
Fiona is not rough.
("Fiona" "is" "rough" "-")
triple7
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple6