Erin is quiet. Fiona is quiet. If Erin is furry and Erin is cold then Erin is blue. All blue, cold people are young. If Fiona is blue and Fiona is quiet then Fiona is green.
Erin is quiet.
("Erin" "is" "quiet" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
If Erin is furry and Erin is cold then Erin is blue.
((("Erin" "is" "furry" "+") ("Erin" "is" "cold" "+")) -> ("Erin" "is" "blue" "+"))
All blue, cold people are young.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If Fiona is blue and Fiona is quiet then Fiona is green.
((("Fiona" "is" "blue" "+") ("Fiona" "is" "quiet" "+")) -> ("Fiona" "is" "green" "+"))
Erin is quiet.
True
1
proof
[(triple1)]
("Erin" "is" "quiet" "+")
triple1
Erin is not quiet.
False
1
inv-proof
[(triple1)]
("Erin" "is" "quiet" "-")
triple1
Fiona is not young.
Unknown
inv-rconc
[@1: Fiona is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "young" "-")
Erin is green.
Unknown
random
[@0: Erin is green.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "green" "+")
@0: Erin is quiet.[(triple1)] Fiona is quiet.[(triple2)]
Erin is quiet.
("Erin" "is" "quiet" "+")
triple1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple2