Charlie is cold. Charlie is green. Charlie is young. Erin is rough. Erin is round. Fiona is green. Fiona is rough. Fiona is round. Fiona is white. Fiona is young. If someone is white and big then they are rough. All round, rough people are green. All cold people are rough. If someone is big and round then they are young. If Fiona is young then Fiona is white. If Fiona is young then Fiona is cold. If someone is green then they are cold. White people are young.
Erin is big.
@0: Charlie is cold.[(triple1 OR ((triple2) -> rule7))] Charlie is green.[(triple2)] Charlie is young.[(triple3)] Erin is rough.[(triple4)] Erin is round.[(triple5)] Fiona is green.[(triple6 OR ((triple8 triple7) -> rule2) OR ((triple8 ((((triple10) -> rule6)) -> rule3)) -> rule2) OR ((triple8 ((((((triple9) -> rule8)) -> rule6)) -> rule3)) -> rule2))] Fiona is rough.[(triple7 OR ((((triple10) -> rule6)) -> rule3) OR ((((triple6) -> rule7)) -> rule3) OR ((((((triple9) -> rule8)) -> rule6)) -> rule3))] Fiona is round.[(triple8)] Fiona is white.[(triple9 OR ((triple10) -> rule5))] Fiona is young.[(triple10 OR ((triple9) -> rule8))] @1: Charlie is rough.[(((triple1) -> rule3) OR ((((triple2) -> rule7)) -> rule3))] Erin is green.[(((triple5 triple4) -> rule2))] Fiona is cold.[(((triple10) -> rule6) OR ((triple6) -> rule7) OR ((((triple9) -> rule8)) -> rule6) OR ((((triple8 triple7) -> rule2)) -> rule7))] @2: Erin is cold.[(((((triple5 triple4) -> rule2)) -> rule7))]