Charlie is not blue. Charlie is kind. Charlie is quiet. Erin is not big. Erin is not blue. Gary is kind. Harry is not blue. Harry is furry. Harry is quiet. Harry is rough. All big, quiet people are rough. All blue people are not kind. If someone is rough and not furry then they are kind.
Charlie is not blue.
("Charlie" "is" "blue" "-")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Erin is not big.
("Erin" "is" "big" "-")
Erin is not blue.
("Erin" "is" "blue" "-")
Gary is kind.
("Gary" "is" "kind" "+")
Harry is not blue.
("Harry" "is" "blue" "-")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is rough.
("Harry" "is" "rough" "+")
All big, quiet people are rough.
((("someone" "is" "big" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "rough" "+"))
All blue people are not kind.
((("someone" "is" "blue" "+")) -> ("someone" "is" "kind" "-"))
If someone is rough and not furry then they are kind.
((("someone" "is" "rough" "+") ("someone" "is" "furry" "~")) -> ("someone" "is" "kind" "+"))
Erin is not blue.
True
1
proof
[(triple5)]
("Erin" "is" "blue" "-")
triple5
Gary is not kind.
False
1
inv-proof
[(triple6)]
("Gary" "is" "kind" "-")
triple6
Erin is not rough.
Unknown
inv-rconc
[@1: Erin is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "rough" "-")
Gary is big.
Unknown
random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "+")
@0: Charlie is kind.[(triple2)] Charlie is not blue.[(triple1)] Charlie is quiet.[(triple3)] Erin is not big.[(triple4)] Erin is not blue.[(triple5)] Gary is kind.[(triple6)] Harry is furry.[(triple8)] Harry is not blue.[(triple7)] Harry is quiet.[(triple9)] Harry is rough.[(triple10)]
Charlie is kind.
("Charlie" "is" "kind" "+")
triple2
Charlie is not blue.
("Charlie" "is" "blue" "-")
triple1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple3
Erin is not big.
("Erin" "is" "big" "-")
triple4
Erin is not blue.
("Erin" "is" "blue" "-")
triple5
Gary is kind.
("Gary" "is" "kind" "+")
triple6
Harry is furry.
("Harry" "is" "furry" "+")
triple8
Harry is not blue.
("Harry" "is" "blue" "-")
triple7
Harry is quiet.
("Harry" "is" "quiet" "+")
triple9
Harry is rough.
("Harry" "is" "rough" "+")
triple10