Anne is blue. Anne is kind. Anne is round. Bob is green. Bob is nice. Bob is red. Bob is rough. Bob is round. Erin is kind. Erin is nice. Erin is red. Fiona is blue. Fiona is green. Fiona is nice. Fiona is round. Red things are rough. If Fiona is blue and Fiona is nice then Fiona is red.
Bob is nice.
@0: Anne is blue.[(triple1)] Anne is kind.[(triple2)] Anne is round.[(triple3)] Bob is green.[(triple4)] Bob is nice.[(triple5)] Bob is red.[(triple6)] Bob is rough.[(triple7 OR ((triple6) -> rule1))] Bob is round.[(triple8)] Erin is kind.[(triple9)] Erin is nice.[(triple10)] Erin is red.[(triple11)] Fiona is blue.[(triple12)] Fiona is green.[(triple13)] Fiona is nice.[(triple14)] Fiona is round.[(triple15)] @1: Erin is rough.[(((triple11) -> rule1))] Fiona is red.[(((triple12 triple14) -> rule2))] @2: Fiona is rough.[(((((triple12 triple14) -> rule2)) -> rule1))]