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