Anne is blue. Anne is quiet. Anne is red. Erin is big. Erin is green. Erin is kind. Erin is quiet. Erin is round. Fiona is big. Fiona is blue. Fiona is green. Fiona is kind. Fiona is quiet. Fiona is red. Fiona is round. All round things are quiet. All quiet things are big. All red things are green. If something is green then it is kind. If something is blue then it is big. All blue things are quiet.
Anne is round.
@0: Anne is blue.[(triple1)] Anne is quiet.[(triple2 OR ((triple1) -> rule6))] Anne is red.[(triple3)] Erin is big.[(triple4 OR ((triple7) -> rule2) OR ((((triple8) -> rule1)) -> rule2))] Erin is green.[(triple5)] Erin is kind.[(triple6 OR ((triple5) -> rule4))] Erin is quiet.[(triple7 OR ((triple8) -> rule1))] Erin is round.[(triple8)] Fiona is big.[(triple9 OR ((triple10) -> rule5) OR ((triple13) -> rule2) OR ((((triple10) -> rule6)) -> rule2) OR ((((triple15) -> rule1)) -> rule2))] Fiona is blue.[(triple10)] Fiona is green.[(triple11 OR ((triple14) -> rule3))] Fiona is kind.[(triple12 OR ((triple11) -> rule4) OR ((((triple14) -> rule3)) -> rule4))] Fiona is quiet.[(triple13 OR ((triple10) -> rule6) OR ((triple15) -> rule1))] Fiona is red.[(triple14)] Fiona is round.[(triple15)] @1: Anne is big.[(((triple1) -> rule5) OR ((triple2) -> rule2) OR ((((triple1) -> rule6)) -> rule2))] Anne is green.[(((triple3) -> rule3))] @2: Anne is kind.[(((((triple3) -> rule3)) -> rule4))]