Anne is big. Anne is kind. Anne is rough. Anne is round. Fiona is big. Fiona is kind. Fiona is rough. Fiona is smart. Gary is big. Gary is blue. Gary is kind. Gary is rough. Gary is round. Gary is smart. Gary is young. If someone is round and young then they are kind. If someone is big and blue then they are smart. Young, smart people are blue.
Fiona is not blue.
@0: Anne is big.[(triple1)] Anne is kind.[(triple2)] Anne is rough.[(triple3)] Anne is round.[(triple4)] Fiona is big.[(triple5)] Fiona is kind.[(triple6)] Fiona is rough.[(triple7)] Fiona is smart.[(triple8)] Gary is big.[(triple9)] Gary is blue.[(triple10 OR ((triple15 triple14) -> rule3))] Gary is kind.[(triple11 OR ((triple13 triple15) -> rule1))] Gary is rough.[(triple12)] Gary is round.[(triple13)] Gary is smart.[(triple14 OR ((triple9 triple10) -> rule2))] Gary is young.[(triple15)]