Anne is round. Anne is smart. Bob is green. Bob is kind. Bob is smart. Erin is furry. Erin is rough. Erin is smart. Fiona is kind. Fiona is rough. All green people are rough. If Bob is rough then Bob is round.
Fiona is smart.
@0: Anne is round.[(triple1)] Anne is smart.[(triple2)] Bob is green.[(triple3)] Bob is kind.[(triple4)] Bob is smart.[(triple5)] Erin is furry.[(triple6)] Erin is rough.[(triple7)] Erin is smart.[(triple8)] Fiona is kind.[(triple9)] Fiona is rough.[(triple10)] @1: Bob is rough.[(((triple3) -> rule1))] @2: Bob is round.[(((((triple3) -> rule1)) -> rule2))]