Anne is big. Erin is red. Fiona is green. Gary is nice. All quiet things are big. All cold, nice things are red. If something is nice then it is red. If something is red then it is cold. If something is furry then it is cold. If Erin is quiet then Erin is green. All quiet things are furry. If Anne is big then Anne is quiet.
Fiona is big.
@0: Anne is big.[(triple1)] Erin is red.[(triple2)] Fiona is green.[(triple3)] Gary is nice.[(triple4)] @1: Anne is quiet.[(((triple1) -> rule8))] Erin is cold.[(((triple2) -> rule4))] Gary is red.[(((triple4) -> rule3))] @2: Anne is furry.[(((((triple1) -> rule8)) -> rule7))] Gary is cold.[(((((triple4) -> rule3)) -> rule4))] @3: Anne is cold.[(((((((triple1) -> rule8)) -> rule7)) -> rule5))]