Dave is rough. Gary is cold. Harry is young. If Gary is young and Gary is not green then Gary is quiet. Rough, big people are cold. Round, green people are cold. If Dave is rough then Dave is round. Green people are rough. If someone is green and big then they are quiet. Cold people are big. If Harry is young and Harry is not rough then Harry is quiet.
Dave is rough.
("Dave" "is" "rough" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Harry is young.
("Harry" "is" "young" "+")
If Gary is young and Gary is not green then Gary is quiet.
((("Gary" "is" "young" "+") ("Gary" "is" "green" "~")) -> ("Gary" "is" "quiet" "+"))
Rough, big people are cold.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
Round, green people are cold.
((("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If Dave is rough then Dave is round.
((("Dave" "is" "rough" "+")) -> ("Dave" "is" "round" "+"))
Green people are rough.
((("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
If someone is green and big then they are quiet.
((("someone" "is" "green" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "quiet" "+"))
Cold people are big.
((("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
If Harry is young and Harry is not rough then Harry is quiet.
((("Harry" "is" "young" "+") ("Harry" "is" "rough" "~")) -> ("Harry" "is" "quiet" "+"))
Gary is cold.
True
1
proof
[(triple2)]
("Gary" "is" "cold" "+")
triple2
Dave is not rough.
False
1
inv-proof
[(triple1)]
("Dave" "is" "rough" "-")
triple1
Harry is not cold.
Unknown
inv-rconc
[@2: Harry is cold.[CWA. Example of deepest failure = (rule2 <- rule5 <- FAIL)]]
("Harry" "is" "cold" "-")
Gary is green.
Unknown
random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "+")
@0: Dave is rough.[(triple1)] Gary is cold.[(triple2)] Harry is young.[(triple3)] @1: Dave is round.[(((triple1) -> rule4))] Gary is big.[(((triple2) -> rule7))]
Dave is rough.
("Dave" "is" "rough" "+")
triple1
Gary is cold.
("Gary" "is" "cold" "+")
triple2
Harry is young.
("Harry" "is" "young" "+")
triple3
Dave is round.
("Dave" "is" "round" "+")
((triple1) -> (rule4 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
((triple2) -> (rule7 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1