Bob is big. Bob is cold. Bob is smart. Dave is nice. Dave is quiet. Dave is round. Erin is cold. Erin is smart. Fiona is nice. Fiona is smart. If Bob is smart then Bob is round. If someone is white and not quiet then they are not big. White, cold people are round.
Dave is quiet.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2)] Bob is smart.[(triple3)] Dave is nice.[(triple4)] Dave is quiet.[(triple5)] Dave is round.[(triple6)] Erin is cold.[(triple7)] Erin is smart.[(triple8)] Fiona is nice.[(triple9)] Fiona is smart.[(triple10)] @1: Bob is round.[(((triple3) -> rule1))]