Bob is big. Bob is not young. Erin is white. Erin is young. Fiona is big. Fiona is round. Harry is cold. Harry is red. Harry is smart. Harry is white. All young, white people are not big. All round people are red.
Erin is not red.
@0: Bob is big.[(triple1)] Bob is not young.[(triple2)] Erin is white.[(triple3)] Erin is young.[(triple4)] Fiona is big.[(triple5)] Fiona is round.[(triple6)] Harry is cold.[(triple7)] Harry is red.[(triple8)] Harry is smart.[(triple9)] Harry is white.[(triple10)] @1: Erin is not big.[(((triple4 triple3) -> rule1))] Fiona is red.[(((triple6) -> rule2))]