Dave is quiet. Dave is red. Dave is white. Erin is big. Erin is furry. Erin is green. Erin is quiet. Erin is red. Erin is not rough. Harry is red. If Dave is quiet then Dave is red. Furry people are white.
Erin is not big.
@0: Dave is quiet.[(triple1)] Dave is red.[(triple2 OR ((triple1) -> rule1))] Dave is white.[(triple3)] Erin is big.[(triple4)] Erin is furry.[(triple5)] Erin is green.[(triple6)] Erin is not rough.[(triple9)] Erin is quiet.[(triple7)] Erin is red.[(triple8)] Harry is red.[(triple10)] @1: Erin is white.[(((triple5) -> rule2))]