Erin is red. Fiona is big. Fiona is blue. Fiona is cold. Fiona is kind. Fiona is not quiet. Gary is big. If someone is red then they are not big. Cold people are big. All red people are furry. If someone is blue then they are kind. If Fiona is red and Fiona is not big then Fiona is furry. Kind people are blue. If someone is furry then they are blue. All furry people are quiet.
Erin is not blue.
@0: Erin is red.[(triple1)] Fiona is big.[(triple2 OR ((triple4) -> rule2))] Fiona is blue.[(triple3 OR ((triple5) -> rule6))] Fiona is cold.[(triple4)] Fiona is kind.[(triple5 OR ((triple3) -> rule4))] Fiona is not quiet.[(triple6)] Gary is big.[(triple7)] @1: Erin is furry.[(((triple1) -> rule3))] Erin is not big.[(((triple1) -> rule1))] @2: Erin is blue.[(((((triple1) -> rule3)) -> rule7))] Erin is quiet.[(((((triple1) -> rule3)) -> rule8))] @3: Erin is kind.[(((((((triple1) -> rule3)) -> rule7)) -> rule4))]