Bob is round. Erin is quiet. Fiona is young. Gary is round. If something is round then it is smart. All cold, smart things are big. If something is quiet then it is young. If Bob is big and Bob is smart then Bob is quiet. If something is young and quiet then it is big. If Bob is big and Bob is round then Bob is cold.
Fiona is not young.
@0: Bob is round.[(triple1)] Erin is quiet.[(triple2)] Fiona is young.[(triple3)] Gary is round.[(triple4)] @1: Bob is smart.[(((triple1) -> rule1))] Erin is young.[(((triple2) -> rule3))] Gary is smart.[(((triple4) -> rule1))] @2: Erin is big.[(((((triple2) -> rule3) triple2) -> rule5))]