Charlie is cold. Charlie is red. Dave is not big. Erin is green. Erin is red. Fiona is green. Fiona is kind. If Erin is big then Erin is green. Blue, kind people are big. All kind people are green. All cold people are not quiet. All kind people are red. If someone is big and kind then they are cold. Red people are blue.
Fiona is not big.
@0: Charlie is cold.[(triple1)] Charlie is red.[(triple2)] Dave is not big.[(triple3)] Erin is green.[(triple4)] Erin is red.[(triple5)] Fiona is green.[(triple6 OR ((triple7) -> rule3))] Fiona is kind.[(triple7)] @1: Charlie is blue.[(((triple2) -> rule7))] Charlie is not quiet.[(((triple1) -> rule4))] Erin is blue.[(((triple5) -> rule7))] Fiona is red.[(((triple7) -> rule5))] @2: Fiona is blue.[(((((triple7) -> rule5)) -> rule7))] @3: Fiona is big.[(((((((triple7) -> rule5)) -> rule7) triple7) -> rule2))] @4: Fiona is cold.[(((((((((triple7) -> rule5)) -> rule7) triple7) -> rule2) triple7) -> rule6))] @5: Fiona is not quiet.[(((((((((((triple7) -> rule5)) -> rule7) triple7) -> rule2) triple7) -> rule6)) -> rule4))]