Erin is not cold. Fiona is not round. Gary is green. Harry is kind. Furry people are cold. If someone is furry and not green then they are not cold. If Fiona is cold and Fiona is furry then Fiona is big. If Harry is cold and Harry is not green then Harry is round. Round people are kind. If Harry is green and Harry is big then Harry is not furry. If someone is cold and round then they are not rough. If someone is green and not big then they are rough.
Erin is not cold.
("Erin" "is" "cold" "-")
Fiona is not round.
("Fiona" "is" "round" "-")
Gary is green.
("Gary" "is" "green" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Furry people are cold.
((("someone" "is" "furry" "+")) -> ("someone" "is" "cold" "+"))
If someone is furry and not green then they are not cold.
((("someone" "is" "furry" "+") ("someone" "is" "green" "~")) -> ("someone" "is" "cold" "-"))
If Fiona is cold and Fiona is furry then Fiona is big.
((("Fiona" "is" "cold" "+") ("Fiona" "is" "furry" "+")) -> ("Fiona" "is" "big" "+"))
If Harry is cold and Harry is not green then Harry is round.
((("Harry" "is" "cold" "+") ("Harry" "is" "green" "~")) -> ("Harry" "is" "round" "+"))
Round people are kind.
((("someone" "is" "round" "+")) -> ("someone" "is" "kind" "+"))
If Harry is green and Harry is big then Harry is not furry.
((("Harry" "is" "green" "+") ("Harry" "is" "big" "+")) -> ("Harry" "is" "furry" "-"))
If someone is cold and round then they are not rough.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "-"))
If someone is green and not big then they are rough.
((("someone" "is" "green" "+") ("someone" "is" "big" "~")) -> ("someone" "is" "rough" "+"))
Fiona is not round.
True
1
proof
[(triple2)]
("Fiona" "is" "round" "-")
triple2
Harry is not kind.
False
1
inv-proof
[(triple4)]
("Harry" "is" "kind" "-")
triple4
Fiona is not big.
Unknown
inv-rconc
[@1: Fiona is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fiona" "is" "big" "-")
Harry is green.
Unknown
random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "+")
@0: Erin is not cold.[(triple1)] Fiona is not round.[(triple2)] Gary is green.[(triple3)] Harry is kind.[(triple4)]
Erin is not cold.
("Erin" "is" "cold" "-")
triple1
Fiona is not round.
("Fiona" "is" "round" "-")
triple2
Gary is green.
("Gary" "is" "green" "+")
triple3
Harry is kind.
("Harry" "is" "kind" "+")
triple4