Erin is big. Erin is cold. Erin is nice. Erin is quiet. Erin is red. Erin is round. Erin is white. Fiona is big. Fiona is cold. Fiona is nice. Fiona is quiet. Fiona is red. Fiona is round. Fiona is white. Red, nice people are quiet. If someone is red and nice then they are cold. All white people are big. If someone is nice then they are round. If someone is quiet then they are white. If someone is big then they are round.
Erin is cold.
@0: Erin is big.[(triple1 OR ((triple7) -> rule3) OR ((((triple4) -> rule5)) -> rule3) OR ((((((triple5 triple3) -> rule1)) -> rule5)) -> rule3))] Erin is cold.[(triple2 OR ((triple5 triple3) -> rule2))] Erin is nice.[(triple3)] Erin is quiet.[(triple4 OR ((triple5 triple3) -> rule1))] Erin is red.[(triple5)] Erin is round.[(triple6 OR ((triple1) -> rule6) OR ((triple3) -> rule4) OR ((((triple7) -> rule3)) -> rule6) OR ((((((triple4) -> rule5)) -> rule3)) -> rule6) OR ((((((((triple5 triple3) -> rule1)) -> rule5)) -> rule3)) -> rule6))] Erin is white.[(triple7 OR ((triple4) -> rule5) OR ((((triple5 triple3) -> rule1)) -> rule5))] Fiona is big.[(triple8 OR ((triple14) -> rule3) OR ((((triple11) -> rule5)) -> rule3) OR ((((((triple12 triple10) -> rule1)) -> rule5)) -> rule3))] Fiona is cold.[(triple9 OR ((triple12 triple10) -> rule2))] Fiona is nice.[(triple10)] Fiona is quiet.[(triple11 OR ((triple12 triple10) -> rule1))] Fiona is red.[(triple12)] Fiona is round.[(triple13 OR ((triple10) -> rule4) OR ((triple8) -> rule6) OR ((((triple14) -> rule3)) -> rule6) OR ((((((triple11) -> rule5)) -> rule3)) -> rule6) OR ((((((((triple12 triple10) -> rule1)) -> rule5)) -> rule3)) -> rule6))] Fiona is white.[(triple14 OR ((triple11) -> rule5) OR ((((triple12 triple10) -> rule1)) -> rule5))]