Charlie is quiet. Charlie is young. Erin is quiet. Erin is not red. Fiona is big. Fiona is quiet. Fiona is red. Red people are cold. If someone is young then they are cold. Cold people are big. If Erin is young and Erin is not quiet then Erin is white. All white people are not young. All red people are rough. All big, cold people are rough. If Fiona is not quiet then Fiona is not rough.
Fiona is young.
@0: Charlie is quiet.[(triple1)] Charlie is young.[(triple2)] Erin is not red.[(triple4)] Erin is quiet.[(triple3)] Fiona is big.[(triple5 OR ((((triple7) -> rule1)) -> rule3))] Fiona is quiet.[(triple6)] Fiona is red.[(triple7)] @1: Charlie is cold.[(((triple2) -> rule2))] Fiona is cold.[(((triple7) -> rule1))] Fiona is rough.[(((triple7) -> rule6) OR ((triple5 ((triple7) -> rule1)) -> rule7) OR ((((((triple7) -> rule1)) -> rule3) ((triple7) -> rule1)) -> rule7))] @2: Charlie is big.[(((((triple2) -> rule2)) -> rule3))] @3: Charlie is rough.[(((((((triple2) -> rule2)) -> rule3) ((triple2) -> rule2)) -> rule7))]