Bob is cold. Bob is nice. Bob is round. Bob is white. Erin is furry. Erin is kind. Erin is red. Fiona is furry. Fiona is nice. Fiona is red. Furry, nice things are cold. All kind things are nice. If something is cold and red then it is round.
Bob is red.
@0: Bob is cold.[(triple1)] Bob is nice.[(triple2)] Bob is round.[(triple3)] Bob is white.[(triple4)] Erin is furry.[(triple5)] Erin is kind.[(triple6)] Erin is red.[(triple7)] Fiona is furry.[(triple8)] Fiona is nice.[(triple9)] Fiona is red.[(triple10)] @1: Erin is nice.[(((triple6) -> rule2))] Fiona is cold.[(((triple8 triple9) -> rule1))] @2: Erin is cold.[(((triple5 ((triple6) -> rule2)) -> rule1))] Fiona is round.[(((((triple8 triple9) -> rule1) triple10) -> rule3))] @3: Erin is round.[(((((triple5 ((triple6) -> rule2)) -> rule1) triple7) -> rule3))]