Anne is big. Anne is cold. Anne is quiet. Anne is young. Charlie is young. Erin is furry. Erin is quiet. Erin is rough. Erin is young. Fiona is quiet. If something is quiet then it is young. If something is young then it is cold.
Charlie is not big.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2 OR ((triple4) -> rule2) OR ((((triple3) -> rule1)) -> rule2))] Anne is quiet.[(triple3)] Anne is young.[(triple4 OR ((triple3) -> rule1))] Charlie is young.[(triple5)] Erin is furry.[(triple6)] Erin is quiet.[(triple7)] Erin is rough.[(triple8)] Erin is young.[(triple9 OR ((triple7) -> rule1))] Fiona is quiet.[(triple10)] @1: Charlie is cold.[(((triple5) -> rule2))] Erin is cold.[(((triple9) -> rule2) OR ((((triple7) -> rule1)) -> rule2))] Fiona is young.[(((triple10) -> rule1))] @2: Fiona is cold.[(((((triple10) -> rule1)) -> rule2))]