Erin is blue. Erin is not cold. Erin is furry. Erin is quiet. Erin is red. Fiona is blue. Fiona is not cold. Fiona is furry. Fiona is quiet. Fiona is red. Fiona is round. Fiona is white. If something is furry then it is blue.
Erin is not quiet.
@0: Erin is blue.[(triple1 OR ((triple3) -> rule1))] Erin is furry.[(triple3)] Erin is not cold.[(triple2)] Erin is quiet.[(triple4)] Erin is red.[(triple5)] Fiona is blue.[(triple6 OR ((triple8) -> rule1))] Fiona is furry.[(triple8)] Fiona is not cold.[(triple7)] Fiona is quiet.[(triple9)] Fiona is red.[(triple10)] Fiona is round.[(triple11)] Fiona is white.[(triple12)]