Erin is kind. Erin is nice. Erin is quiet. Erin is red. Erin is round. Erin is smart. Fiona is nice. Fiona is red. Fiona is round. Fiona is smart. If Erin is red and Erin is rough then Erin is quiet. If something is rough then it is red. Quiet, nice things are kind. All round things are quiet. All quiet, red things are round. If something is round then it is red.
Fiona is not nice.
@0: Erin is kind.[(triple1 OR ((triple3 triple2) -> rule3) OR ((((triple5) -> rule4) triple2) -> rule3))] Erin is nice.[(triple2)] Erin is quiet.[(triple3 OR ((triple5) -> rule4))] Erin is red.[(triple4 OR ((triple5) -> rule6))] Erin is round.[(triple5 OR ((triple3 triple4) -> rule5))] Erin is smart.[(triple6)] Fiona is nice.[(triple7)] Fiona is red.[(triple8 OR ((triple9) -> rule6))] Fiona is round.[(triple9)] Fiona is smart.[(triple10)] @1: Fiona is quiet.[(((triple9) -> rule4))] @2: Fiona is kind.[(((((triple9) -> rule4) triple7) -> rule3))]