Bob is big. Bob is round. Erin is big. Erin is cold. Erin is rough. Erin is round. Fiona is red. All round, cold people are rough. All smart people are round. All smart, round people are white. Round, big people are cold. If someone is smart and big then they are red. All cold, white people are rough. White, rough people are cold. If someone is cold and round then they are red.
Fiona is not white.
@0: Bob is big.[(triple1)] Bob is round.[(triple2)] Erin is big.[(triple3)] Erin is cold.[(triple4 OR ((triple6 triple3) -> rule4))] Erin is rough.[(triple5 OR ((triple6 triple4) -> rule1) OR ((triple6 ((triple6 triple3) -> rule4)) -> rule1))] Erin is round.[(triple6)] Fiona is red.[(triple7)] @1: Bob is cold.[(((triple2 triple1) -> rule4))] Erin is red.[(((triple4 triple6) -> rule8) OR ((((triple6 triple3) -> rule4) triple6) -> rule8))] @2: Bob is red.[(((((triple2 triple1) -> rule4) triple2) -> rule8))] Bob is rough.[(((triple2 ((triple2 triple1) -> rule4)) -> rule1))]