Charlie is cold. Charlie is nice. Dave is round. Dave is young. Gary is nice. Gary is round. Gary is young. Rough people are cold. If someone is cold and nice then they are round. Rough, furry people are nice. All round people are furry. All young people are round. Nice, round people are kind. All nice, round people are young. All kind, young people are furry.
Dave is not nice.
@0: Charlie is cold.[(triple1)] Charlie is nice.[(triple2)] Dave is round.[(triple3 OR ((triple4) -> rule5))] Dave is young.[(triple4)] Gary is nice.[(triple5)] Gary is round.[(triple6 OR ((triple7) -> rule5))] Gary is young.[(triple7 OR ((triple5 triple6) -> rule7))] @1: Charlie is round.[(((triple1 triple2) -> rule2))] Dave is furry.[(((triple3) -> rule4) OR ((((triple4) -> rule5)) -> rule4))] Gary is furry.[(((triple6) -> rule4) OR ((((triple7) -> rule5)) -> rule4) OR ((((triple5 triple6) -> rule6) triple7) -> rule8) OR ((((triple5 triple6) -> rule6) ((triple5 triple6) -> rule7)) -> rule8) OR ((((triple5 ((triple7) -> rule5)) -> rule6) triple7) -> rule8) OR ((((triple5 ((triple7) -> rule5)) -> rule6) ((triple5 triple6) -> rule7)) -> rule8))] Gary is kind.[(((triple5 triple6) -> rule6) OR ((triple5 ((triple7) -> rule5)) -> rule6))] @2: Charlie is furry.[(((((triple1 triple2) -> rule2)) -> rule4) OR ((((triple2 ((triple1 triple2) -> rule2)) -> rule6) ((triple2 ((triple1 triple2) -> rule2)) -> rule7)) -> rule8))] Charlie is kind.[(((triple2 ((triple1 triple2) -> rule2)) -> rule6))] Charlie is young.[(((triple2 ((triple1 triple2) -> rule2)) -> rule7))]