Dave is big. Dave is blue. Dave is not cold. Dave is green. Dave is not kind. Dave is quiet. Erin is big. Erin is furry. Erin is quiet. Fiona is cold. Fiona is furry. Fiona is kind. All quiet things are furry. If something is big then it is quiet. If something is big and not quiet then it is cold.
Erin is not cold.
@0: Dave is big.[(triple1)] Dave is blue.[(triple2)] Dave is green.[(triple4)] Dave is not cold.[(triple3)] Dave is not kind.[(triple5)] Dave is quiet.[(triple6 OR ((triple1) -> rule2))] Erin is big.[(triple7)] Erin is furry.[(triple8 OR ((triple9) -> rule1) OR ((((triple7) -> rule2)) -> rule1))] Erin is quiet.[(triple9 OR ((triple7) -> rule2))] Fiona is cold.[(triple10)] Fiona is furry.[(triple11)] Fiona is kind.[(triple12)] @1: Dave is furry.[(((triple6) -> rule1) OR ((((triple1) -> rule2)) -> rule1))]