Charlie is not rough. Dave is cold. Gary is kind. Harry is furry. If Dave is not white then Dave is not rough. If someone is young then they are round. If Harry is furry then Harry is rough. All white people are cold. All rough people are not cold. If someone is round and not young then they are kind.
Charlie is not rough.
("Charlie" "is" "rough" "-")
Dave is cold.
("Dave" "is" "cold" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Harry is furry.
("Harry" "is" "furry" "+")
If Dave is not white then Dave is not rough.
((("Dave" "is" "white" "~")) -> ("Dave" "is" "rough" "-"))
If someone is young then they are round.
((("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
If Harry is furry then Harry is rough.
((("Harry" "is" "furry" "+")) -> ("Harry" "is" "rough" "+"))
All white people are cold.
((("someone" "is" "white" "+")) -> ("someone" "is" "cold" "+"))
All rough people are not cold.
((("someone" "is" "rough" "+")) -> ("someone" "is" "cold" "-"))
If someone is round and not young then they are kind.
((("someone" "is" "round" "+") ("someone" "is" "young" "~")) -> ("someone" "is" "kind" "+"))
Charlie is not rough.
True
1
proof
[(triple1)]
("Charlie" "is" "rough" "-")
triple1
Charlie is rough.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "rough" "+")
triple1
Harry is not round.
Unknown
inv-rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "round" "-")
Gary is young.
Unknown
random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "+")
@0: Charlie is not rough.[(triple1)] Dave is cold.[(triple2)] Gary is kind.[(triple3)] Harry is furry.[(triple4)] @1: Harry is rough.[(((triple4) -> rule3))] @2: Harry is not cold.[(((((triple4) -> rule3)) -> rule5))]
Charlie is not rough.
("Charlie" "is" "rough" "-")
triple1
Dave is cold.
("Dave" "is" "cold" "+")
triple2
Gary is kind.
("Gary" "is" "kind" "+")
triple3
Harry is furry.
("Harry" "is" "furry" "+")
triple4
Harry is rough.
("Harry" "is" "rough" "+")
((triple4) -> (rule3 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is not cold.
("Harry" "is" "cold" "-")
((((triple4) -> (rule3 % int2))) -> (rule5 % int1))
Harry is not cold.
("Harry" "is" "cold" "-")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2