Charlie is big. Erin is big. Erin is cold. Erin is white. Erin is young. Fiona is cold. Gary is young. If someone is nice then they are white. White people are big. If someone is cold then they are nice. White people are round. All young, cold people are white. If someone is nice and white then they are cold. If Charlie is round and Charlie is big then Charlie is nice. Round people are white.
Fiona is white.
@0: Charlie is big.[(triple1)] Erin is big.[(triple2 OR ((triple4) -> rule2) OR ((((triple5 triple3) -> rule5)) -> rule2) OR ((((((triple3) -> rule3)) -> rule1)) -> rule2))] Erin is cold.[(triple3)] Erin is white.[(triple4 OR ((triple5 triple3) -> rule5) OR ((((triple3) -> rule3)) -> rule1))] Erin is young.[(triple5)] Fiona is cold.[(triple6)] Gary is young.[(triple7)] @1: Erin is nice.[(((triple3) -> rule3))] Erin is round.[(((triple4) -> rule4) OR ((((triple5 triple3) -> rule5)) -> rule4) OR ((((((triple3) -> rule3)) -> rule1)) -> rule4))] Fiona is nice.[(((triple6) -> rule3))] @2: Fiona is white.[(((((triple6) -> rule3)) -> rule1))] @3: Fiona is big.[(((((((triple6) -> rule3)) -> rule1)) -> rule2))] Fiona is round.[(((((((triple6) -> rule3)) -> rule1)) -> rule4))]