Erin is big. Erin is blue. Erin is furry. Erin is kind. Erin is nice. Erin is not red. Erin is young. Fiona is big. Fiona is not kind. Fiona is nice. Fiona is red. Fiona is young. If Fiona is furry then Fiona is red. If Fiona is blue then Fiona is not red. If someone is kind and blue then they are not red. If Fiona is young then Fiona is not kind. If Erin is blue and Erin is not nice then Erin is young. If someone is blue and not young then they are big.
Fiona is blue.
@0: Erin is big.[(triple1)] Erin is blue.[(triple2)] Erin is furry.[(triple3)] Erin is kind.[(triple4)] Erin is nice.[(triple5)] Erin is not red.[(triple6 OR ((triple4 triple2) -> rule3))] Erin is young.[(triple7)] Fiona is big.[(triple8)] Fiona is nice.[(triple10)] Fiona is not kind.[(triple9 OR ((triple12) -> rule4))] Fiona is red.[(triple11)] Fiona is young.[(triple12)]