Anne is furry. Erin is nice. Fiona is not furry. Harry is green. If Erin is big and Erin is furry then Erin is not nice. If Fiona is not green then Fiona is white. All big, furry things are not nice. All kind things are round. Round, big things are kind. If Anne is not round and Anne is not furry then Anne is white.
Anne is furry.
("Anne" "is" "furry" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Fiona is not furry.
("Fiona" "is" "furry" "-")
Harry is green.
("Harry" "is" "green" "+")
If Erin is big and Erin is furry then Erin is not nice.
((("Erin" "is" "big" "+") ("Erin" "is" "furry" "+")) -> ("Erin" "is" "nice" "-"))
If Fiona is not green then Fiona is white.
((("Fiona" "is" "green" "~")) -> ("Fiona" "is" "white" "+"))
All big, furry things are not nice.
((("something" "is" "big" "+") ("something" "is" "furry" "+")) -> ("something" "is" "nice" "-"))
All kind things are round.
((("something" "is" "kind" "+")) -> ("something" "is" "round" "+"))
Round, big things are kind.
((("something" "is" "round" "+") ("something" "is" "big" "+")) -> ("something" "is" "kind" "+"))
If Anne is not round and Anne is not furry then Anne is white.
((("Anne" "is" "round" "~") ("Anne" "is" "furry" "~")) -> ("Anne" "is" "white" "+"))
Erin is nice.
True
1
proof
[(triple2)]
("Erin" "is" "nice" "+")
triple2
Erin is not nice.
False
1
inv-proof
[(triple2)]
("Erin" "is" "nice" "-")
triple2
Erin is not round.
Unknown
inv-rconc
[@2: Erin is round.[CWA. Example of deepest failure = (rule4 <- rule5 <- FAIL)]]
("Erin" "is" "round" "-")
Fiona is green.
Unknown
random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "+")
@0: Anne is furry.[(triple1)] Erin is nice.[(triple2)] Fiona is not furry.[(triple3)] Harry is green.[(triple4)]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Erin is nice.
("Erin" "is" "nice" "+")
triple2
Fiona is not furry.
("Fiona" "is" "furry" "-")
triple3
Harry is green.
("Harry" "is" "green" "+")
triple4