Erin is smart. Fiona is furry. Harry is green. All blue, rough things are not smart. If something is smart and white then it is rough. If Fiona is smart then Fiona is not furry. If something is rough then it is green. If Fiona is not furry then Fiona is big. If something is furry and not green then it is big.
Erin is smart.
("Erin" "is" "smart" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Harry is green.
("Harry" "is" "green" "+")
All blue, rough things are not smart.
((("something" "is" "blue" "+") ("something" "is" "rough" "+")) -> ("something" "is" "smart" "-"))
If something is smart and white then it is rough.
((("something" "is" "smart" "+") ("something" "is" "white" "+")) -> ("something" "is" "rough" "+"))
If Fiona is smart then Fiona is not furry.
((("Fiona" "is" "smart" "+")) -> ("Fiona" "is" "furry" "-"))
If something is rough then it is green.
((("something" "is" "rough" "+")) -> ("something" "is" "green" "+"))
If Fiona is not furry then Fiona is big.
((("Fiona" "is" "furry" "~")) -> ("Fiona" "is" "big" "+"))
If something is furry and not green then it is big.
((("something" "is" "furry" "+") ("something" "is" "green" "~")) -> ("something" "is" "big" "+"))
Fiona is furry.
True
1
proof
[(triple2)]
("Fiona" "is" "furry" "+")
triple2
Erin is not smart.
False
1
inv-proof
[(triple1)]
("Erin" "is" "smart" "-")
triple1
Erin is not rough.
Unknown
inv-rconc
[@1: Erin is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "rough" "-")
Erin is white.
Unknown
random
[@0: Erin is white.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "white" "+")
@0: Erin is smart.[(triple1)] Fiona is furry.[(triple2)] Harry is green.[(triple3)]
Erin is smart.
("Erin" "is" "smart" "+")
triple1
Fiona is furry.
("Fiona" "is" "furry" "+")
triple2
Harry is green.
("Harry" "is" "green" "+")
triple3