Erin is nice. Erin is red. Fiona is cold. Fiona is nice. Fiona is smart. Fiona is white. Harry is nice. Harry is red. Harry is round. Harry is white. If someone is round and smart then they are red. Nice, smart people are round. Red people are furry.
Erin is not round.
@0: Erin is nice.[(triple1)] Erin is red.[(triple2)] Fiona is cold.[(triple3)] Fiona is nice.[(triple4)] Fiona is smart.[(triple5)] Fiona is white.[(triple6)] Harry is nice.[(triple7)] Harry is red.[(triple8)] Harry is round.[(triple9)] Harry is white.[(triple10)] @1: Erin is furry.[(((triple2) -> rule3))] Fiona is round.[(((triple4 triple5) -> rule2))] Harry is furry.[(((triple8) -> rule3))] @2: Fiona is red.[(((((triple4 triple5) -> rule2) triple5) -> rule1))] @3: Fiona is furry.[(((((((triple4 triple5) -> rule2) triple5) -> rule1)) -> rule3))]