Bob is round. Bob is smart. Bob is young. Fiona is furry. Fiona is green. Fiona is smart. Gary is cold. Gary is green. Gary is round. Gary is smart. If someone is smart then they are round. If Bob is green and Bob is cold then Bob is rough.
Gary is smart.
@0: Bob is round.[(triple1 OR ((triple2) -> rule1))] Bob is smart.[(triple2)] Bob is young.[(triple3)] Fiona is furry.[(triple4)] Fiona is green.[(triple5)] Fiona is smart.[(triple6)] Gary is cold.[(triple7)] Gary is green.[(triple8)] Gary is round.[(triple9 OR ((triple10) -> rule1))] Gary is smart.[(triple10)] @1: Fiona is round.[(((triple6) -> rule1))]