Dave is not big. Dave is kind. Dave is young. Erin is big. Erin is kind. Fiona is not big. Harry is cold. If someone is red and not young then they are big. Red, nice people are big. If someone is kind and not young then they are not red. All cold, nice people are red. All cold people are nice. If someone is kind and red then they are not white. Big people are cold. If Fiona is white and Fiona is cold then Fiona is red.
Erin is not red.
@0: Dave is kind.[(triple2)] Dave is not big.[(triple1)] Dave is young.[(triple3)] Erin is big.[(triple4)] Erin is kind.[(triple5)] Fiona is not big.[(triple6)] Harry is cold.[(triple7)] @1: Erin is cold.[(((triple4) -> rule7))] Harry is nice.[(((triple7) -> rule5))] @2: Erin is nice.[(((((triple4) -> rule7)) -> rule5))] Harry is red.[(((triple7 ((triple7) -> rule5)) -> rule4))] @3: Erin is red.[(((((triple4) -> rule7) ((((triple4) -> rule7)) -> rule5)) -> rule4))] Harry is big.[(((((triple7 ((triple7) -> rule5)) -> rule4) ((triple7) -> rule5)) -> rule2))] @4: Erin is not white.[(((triple5 ((((triple4) -> rule7) ((((triple4) -> rule7)) -> rule5)) -> rule4)) -> rule6))]