Bob is white. Erin is round. Fiona is green. Gary is rough. If someone is young and green then they are cold. Round people are green. If someone is cold then they are round. If someone is white then they are round. White people are young. If someone is cold then they are rough. White, young people are furry. If someone is round then they are white.
Bob is young.
@0: Bob is white.[(triple1)] Erin is round.[(triple2)] Fiona is green.[(triple3)] Gary is rough.[(triple4)] @1: Bob is round.[(((triple1) -> rule4))] Bob is young.[(((triple1) -> rule5))] Erin is green.[(((triple2) -> rule2))] Erin is white.[(((triple2) -> rule8))] @2: Bob is furry.[(((triple1 ((triple1) -> rule5)) -> rule7))] Bob is green.[(((((triple1) -> rule4)) -> rule2))] Erin is young.[(((((triple2) -> rule8)) -> rule5))] @3: Bob is cold.[(((((triple1) -> rule5) ((((triple1) -> rule4)) -> rule2)) -> rule1))] Erin is cold.[(((((((triple2) -> rule8)) -> rule5) ((triple2) -> rule2)) -> rule1))] Erin is furry.[(((((triple2) -> rule8) ((((triple2) -> rule8)) -> rule5)) -> rule7))] @4: Bob is rough.[(((((((triple1) -> rule5) ((((triple1) -> rule4)) -> rule2)) -> rule1)) -> rule6))] Erin is rough.[(((((((((triple2) -> rule8)) -> rule5) ((triple2) -> rule2)) -> rule1)) -> rule6))]