Bob is cold. Bob is white. Charlie is kind. Charlie is young. Erin is cold. Erin is green. Erin is rough. Erin is round. Erin is white. Erin is young. Fiona is rough. Fiona is young. White people are round. Green, cold people are rough. If Fiona is rough and Fiona is round then Fiona is kind. Young, rough people are green. White, round people are kind. All green people are round.
Charlie is rough.
@0: Bob is cold.[(triple1)] Bob is white.[(triple2)] Charlie is kind.[(triple3)] Charlie is young.[(triple4)] Erin is cold.[(triple5)] Erin is green.[(triple6 OR ((triple10 triple7) -> rule4))] Erin is rough.[(triple7 OR ((triple6 triple5) -> rule2))] Erin is round.[(triple8 OR ((triple6) -> rule6) OR ((triple9) -> rule1) OR ((((triple10 triple7) -> rule4)) -> rule6))] Erin is white.[(triple9)] Erin is young.[(triple10)] Fiona is rough.[(triple11)] Fiona is young.[(triple12)] @1: Bob is round.[(((triple2) -> rule1))] Erin is kind.[(((triple9 triple8) -> rule5) OR ((triple9 ((triple6) -> rule6)) -> rule5) OR ((triple9 ((triple9) -> rule1)) -> rule5) OR ((triple9 ((((triple10 triple7) -> rule4)) -> rule6)) -> rule5))] Fiona is green.[(((triple12 triple11) -> rule4))] @2: Bob is kind.[(((triple2 ((triple2) -> rule1)) -> rule5))] Fiona is round.[(((((triple12 triple11) -> rule4)) -> rule6))] @3: Fiona is kind.[(((triple11 ((((triple12 triple11) -> rule4)) -> rule6)) -> rule3))]