Charlie is big. Charlie is furry. Charlie is nice. Charlie is white. Erin is big. Erin is cold. Erin is nice. Erin is round. Fiona is cold. Fiona is round. If Charlie is big and Charlie is furry then Charlie is white. All nice, big people are round. If Erin is furry then Erin is big.
Charlie is not big.
@0: Charlie is big.[(triple1)] Charlie is furry.[(triple2)] Charlie is nice.[(triple3)] Charlie is white.[(triple4 OR ((triple1 triple2) -> rule1))] Erin is big.[(triple5)] Erin is cold.[(triple6)] Erin is nice.[(triple7)] Erin is round.[(triple8 OR ((triple7 triple5) -> rule2))] Fiona is cold.[(triple9)] Fiona is round.[(triple10)] @1: Charlie is round.[(((triple3 triple1) -> rule2))]