Charlie is big. Charlie is cold. Charlie is furry. Charlie is red. Charlie is round. Erin is furry. Erin is red. Erin is white. Fiona is big. Fiona is red. Gary is big. Gary is furry. Gary is quiet. Gary is red. Gary is white. Red things are furry. If Charlie is big and Charlie is cold then Charlie is round.
Erin is white.
@0: Charlie is big.[(triple1)] Charlie is cold.[(triple2)] Charlie is furry.[(triple3 OR ((triple4) -> rule1))] Charlie is red.[(triple4)] Charlie is round.[(triple5 OR ((triple1 triple2) -> rule2))] Erin is furry.[(triple6 OR ((triple7) -> rule1))] Erin is red.[(triple7)] Erin is white.[(triple8)] Fiona is big.[(triple9)] Fiona is red.[(triple10)] Gary is big.[(triple11)] Gary is furry.[(triple12 OR ((triple14) -> rule1))] Gary is quiet.[(triple13)] Gary is red.[(triple14)] Gary is white.[(triple15)] @1: Fiona is furry.[(((triple10) -> rule1))]