Charlie is cold. Charlie is rough. Dave is cold. Dave is furry. Dave is green. Dave is kind. Dave is nice. Dave is round. Fiona is nice. Fiona is round. Gary is cold. Gary is round. If someone is green and nice then they are kind. Furry people are green. Cold, green people are furry. If Gary is nice then Gary is kind. If Charlie is round then Charlie is cold. All round people are rough. All kind people are furry. If someone is cold then they are nice.
Charlie is not kind.
@0: Charlie is cold.[(triple1)] Charlie is rough.[(triple2)] Dave is cold.[(triple3)] Dave is furry.[(triple4 OR ((triple6) -> rule7) OR ((triple3 triple5) -> rule3) OR ((((triple5 triple7) -> rule1)) -> rule7) OR ((((triple5 ((triple3) -> rule8)) -> rule1)) -> rule7))] Dave is green.[(triple5 OR ((triple4) -> rule2) OR ((((triple6) -> rule7)) -> rule2))] Dave is kind.[(triple6 OR ((triple5 triple7) -> rule1) OR ((triple5 ((triple3) -> rule8)) -> rule1) OR ((((triple4) -> rule2) triple7) -> rule1) OR ((((triple4) -> rule2) ((triple3) -> rule8)) -> rule1))] Dave is nice.[(triple7 OR ((triple3) -> rule8))] Dave is round.[(triple8)] Fiona is nice.[(triple9)] Fiona is round.[(triple10)] Gary is cold.[(triple11)] Gary is round.[(triple12)] @1: Charlie is nice.[(((triple1) -> rule8))] Dave is rough.[(((triple8) -> rule6))] Fiona is rough.[(((triple10) -> rule6))] Gary is nice.[(((triple11) -> rule8))] Gary is rough.[(((triple12) -> rule6))] @2: Gary is kind.[(((((triple11) -> rule8)) -> rule4))] @3: Gary is furry.[(((((((triple11) -> rule8)) -> rule4)) -> rule7))] @4: Gary is green.[(((((((((triple11) -> rule8)) -> rule4)) -> rule7)) -> rule2))]