Dave is big. Dave is quiet. Erin is big. Erin is furry. Erin is quiet. Erin is red. Erin is white. Fiona is big. Fiona is kind. Fiona is quiet. Fiona is red. Fiona is young. All white things are big. Furry things are red. If something is big and red then it is white. Quiet things are kind. All young, big things are red. Young, kind things are furry.
Erin is young.
@0: Dave is big.[(triple1)] Dave is quiet.[(triple2)] Erin is big.[(triple3 OR ((triple7) -> rule1))] Erin is furry.[(triple4)] Erin is quiet.[(triple5)] Erin is red.[(triple6 OR ((triple4) -> rule2))] Erin is white.[(triple7 OR ((triple3 triple6) -> rule3) OR ((triple3 ((triple4) -> rule2)) -> rule3))] Fiona is big.[(triple8)] Fiona is kind.[(triple9 OR ((triple10) -> rule4))] Fiona is quiet.[(triple10)] Fiona is red.[(triple11 OR ((triple12 triple8) -> rule5) OR ((((triple12 triple9) -> rule6)) -> rule2) OR ((((triple12 ((triple10) -> rule4)) -> rule6)) -> rule2))] Fiona is young.[(triple12)] @1: Dave is kind.[(((triple2) -> rule4))] Erin is kind.[(((triple5) -> rule4))] Fiona is furry.[(((triple12 triple9) -> rule6) OR ((triple12 ((triple10) -> rule4)) -> rule6))] Fiona is white.[(((triple8 triple11) -> rule3) OR ((triple8 ((triple12 triple8) -> rule5)) -> rule3) OR ((triple8 ((((triple12 triple9) -> rule6)) -> rule2)) -> rule3) OR ((triple8 ((((triple12 ((triple10) -> rule4)) -> rule6)) -> rule2)) -> rule3))]