Erin is rough. Harry is big. Green people are big. If Erin is not white then Erin is furry. Kind people are green. If someone is furry then they are nice. If someone is furry and not kind then they are rough. If someone is white and not green then they are rough.
Erin is rough.
("Erin" "is" "rough" "+")
Harry is big.
("Harry" "is" "big" "+")
Green people are big.
((("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If Erin is not white then Erin is furry.
((("Erin" "is" "white" "~")) -> ("Erin" "is" "furry" "+"))
Kind people are green.
((("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is furry then they are nice.
((("someone" "is" "furry" "+")) -> ("someone" "is" "nice" "+"))
If someone is furry and not kind then they are rough.
((("someone" "is" "furry" "+") ("someone" "is" "kind" "~")) -> ("someone" "is" "rough" "+"))
If someone is white and not green then they are rough.
((("someone" "is" "white" "+") ("someone" "is" "green" "~")) -> ("someone" "is" "rough" "+"))
Erin is rough.
True
1
proof
[(triple1)]
("Erin" "is" "rough" "+")
triple1
Harry is not big.
False
1
inv-proof
[(triple2)]
("Harry" "is" "big" "-")
triple2
Harry is not rough.
Unknown
inv-rconc
[@1: Harry is rough.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Harry" "is" "rough" "-")
Harry is furry.
Unknown
random
[@0: Harry is furry.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "furry" "+")
@0: Erin is rough.[(triple1)] Harry is big.[(triple2)]
Erin is rough.
("Erin" "is" "rough" "+")
triple1
Harry is big.
("Harry" "is" "big" "+")
triple2