Bob is red. Bob is young. Charlie is red. Dave is cold. Dave is round. Erin is kind. Erin is rough. Young, furry people are rough. Cold, rough people are young. All cold, red people are kind. Young, furry people are cold. If someone is cold then they are young. If someone is rough then they are red. All kind, round people are furry. Cold, young people are red. All rough people are young.
Charlie is not cold.
@0: Bob is red.[(triple1)] Bob is young.[(triple2)] Charlie is red.[(triple3)] Dave is cold.[(triple4)] Dave is round.[(triple5)] Erin is kind.[(triple6)] Erin is rough.[(triple7)] @1: Dave is young.[(((triple4) -> rule5))] Erin is red.[(((triple7) -> rule6))] Erin is young.[(((triple7) -> rule9))] @2: Dave is red.[(((triple4 ((triple4) -> rule5)) -> rule8))] @3: Dave is kind.[(((triple4 ((triple4 ((triple4) -> rule5)) -> rule8)) -> rule3))] @4: Dave is furry.[(((((triple4 ((triple4 ((triple4) -> rule5)) -> rule8)) -> rule3) triple5) -> rule7))] @5: Dave is rough.[(((((triple4) -> rule5) ((((triple4 ((triple4 ((triple4) -> rule5)) -> rule8)) -> rule3) triple5) -> rule7)) -> rule1))]