Dave is quiet. Dave is red. Dave is white. Erin is big. Erin is quiet. Erin is red. Erin is smart. Erin is white. Fiona is cold. Fiona is smart. If Dave is red then Dave is kind. Smart people are cold.
Erin is not quiet.
@0: Dave is quiet.[(triple1)] Dave is red.[(triple2)] Dave is white.[(triple3)] Erin is big.[(triple4)] Erin is quiet.[(triple5)] Erin is red.[(triple6)] Erin is smart.[(triple7)] Erin is white.[(triple8)] Fiona is cold.[(triple9 OR ((triple10) -> rule2))] Fiona is smart.[(triple10)] @1: Dave is kind.[(((triple2) -> rule1))] Erin is cold.[(((triple7) -> rule2))]