Bob is big. Dave is furry. Erin is rough. Fiona is rough. If someone is furry then they are cold. Rough people are young. All young people are rough. If someone is red then they are rough. All quiet, big people are young. If someone is young and big then they are cold. Furry people are young. If Fiona is rough and Fiona is red then Fiona is young.
Erin is not cold.
@0: Bob is big.[(triple1)] Dave is furry.[(triple2)] Erin is rough.[(triple3)] Fiona is rough.[(triple4)] @1: Dave is cold.[(((triple2) -> rule1))] Dave is young.[(((triple2) -> rule7))] Erin is young.[(((triple3) -> rule2))] Fiona is young.[(((triple4) -> rule2))] @2: Dave is rough.[(((((triple2) -> rule7)) -> rule3))]