Erin is blue. Erin is young. Fiona is nice. Gary is blue. Gary is young. Harry is nice. Harry is young. All cold, nice people are young. If someone is red and blue then they are big. If someone is white and red then they are nice. If Erin is big then Erin is red. If Fiona is nice then Fiona is red. White, blue people are big. If someone is blue and red then they are cold. All cold people are white. Blue people are big.
Fiona is blue.
@0: Erin is blue.[(triple1)] Erin is young.[(triple2 OR ((((triple1 ((((triple1) -> rule9)) -> rule4)) -> rule7) ((((((triple1 ((((triple1) -> rule9)) -> rule4)) -> rule7)) -> rule8) ((((triple1) -> rule9)) -> rule4)) -> rule3)) -> rule1))] Fiona is nice.[(triple3)] Gary is blue.[(triple4)] Gary is young.[(triple5)] Harry is nice.[(triple6)] Harry is young.[(triple7)] @1: Erin is big.[(((triple1) -> rule9))] Fiona is red.[(((triple3) -> rule5))] Gary is big.[(((triple4) -> rule9))] @2: Erin is red.[(((((triple1) -> rule9)) -> rule4))] @3: Erin is cold.[(((triple1 ((((triple1) -> rule9)) -> rule4)) -> rule7))] @4: Erin is white.[(((((triple1 ((((triple1) -> rule9)) -> rule4)) -> rule7)) -> rule8))] @5: Erin is nice.[(((((((triple1 ((((triple1) -> rule9)) -> rule4)) -> rule7)) -> rule8) ((((triple1) -> rule9)) -> rule4)) -> rule3))]