Erin is big. Erin is blue. Erin is nice. Erin is quiet. Erin is round. Erin is smart. Erin is white. Fiona is big. Fiona is blue. Fiona is nice. Fiona is quiet. Fiona is round. Fiona is smart. Fiona is white. Big things are round. If something is smart and not nice then it is not round. If something is nice and smart then it is big. If Fiona is nice and Fiona is not blue then Fiona is smart. If Fiona is quiet then Fiona is round. If something is blue and not big then it is not quiet.
Fiona is smart.
@0: Erin is big.[(triple1 OR ((triple3 triple6) -> rule3))] Erin is blue.[(triple2)] Erin is nice.[(triple3)] Erin is quiet.[(triple4)] Erin is round.[(triple5 OR ((triple1) -> rule1) OR ((((triple3 triple6) -> rule3)) -> rule1))] Erin is smart.[(triple6)] Erin is white.[(triple7)] Fiona is big.[(triple8 OR ((triple10 triple13) -> rule3))] Fiona is blue.[(triple9)] Fiona is nice.[(triple10)] Fiona is quiet.[(triple11)] Fiona is round.[(triple12 OR ((triple11) -> rule5) OR ((triple8) -> rule1) OR ((((triple10 triple13) -> rule3)) -> rule1))] Fiona is smart.[(triple13)] Fiona is white.[(triple14)]