Erin is not big. Erin is blue. Erin is red. Erin is round. Erin is smart. Erin is white. Erin is young. Fiona is big. Fiona is blue. Fiona is red. Fiona is round. Fiona is smart. Fiona is white. Fiona is young. All blue people are red. If someone is white then they are blue. If Fiona is not big and Fiona is not blue then Fiona is not round. Round people are young. If someone is white and not blue then they are young. If Erin is young and Erin is not red then Erin is smart. If someone is big and not blue then they are smart. If someone is big then they are smart.
Erin is not big.
@0: Erin is blue.[(triple2 OR ((triple6) -> rule2))] Erin is not big.[(triple1)] Erin is red.[(triple3 OR ((triple2) -> rule1) OR ((((triple6) -> rule2)) -> rule1))] Erin is round.[(triple4)] Erin is smart.[(triple5)] Erin is white.[(triple6)] Erin is young.[(triple7 OR ((triple4) -> rule4))] Fiona is big.[(triple8)] Fiona is blue.[(triple9 OR ((triple13) -> rule2))] Fiona is red.[(triple10 OR ((triple9) -> rule1) OR ((((triple13) -> rule2)) -> rule1))] Fiona is round.[(triple11)] Fiona is smart.[(triple12 OR ((triple8) -> rule8))] Fiona is white.[(triple13)] Fiona is young.[(triple14 OR ((triple11) -> rule4))]