Anne is green. Anne is quiet. Anne is red. Anne is round. Anne is young. Bob is cold. Bob is green. Bob is quiet. Bob is red. Bob is rough. Bob is young. Gary is cold. Gary is green. Gary is red. Gary is round. Gary is young. If something is round then it is red. If something is cold and rough then it is young.
Bob is cold.
@0: Anne is green.[(triple1)] Anne is quiet.[(triple2)] Anne is red.[(triple3 OR ((triple4) -> rule1))] Anne is round.[(triple4)] Anne is young.[(triple5)] Bob is cold.[(triple6)] Bob is green.[(triple7)] Bob is quiet.[(triple8)] Bob is red.[(triple9)] Bob is rough.[(triple10)] Bob is young.[(triple11 OR ((triple6 triple10) -> rule2))] Gary is cold.[(triple12)] Gary is green.[(triple13)] Gary is red.[(triple14 OR ((triple15) -> rule1))] Gary is round.[(triple15)] Gary is young.[(triple16)]