Bob is blue. Bob is nice. Bob is quiet. Bob is red. Bob is rough. Bob is round. Fiona is blue. Fiona is quiet. Fiona is red. Fiona is round. Fiona is young. Gary is blue. Gary is quiet. Gary is red. Gary is young. If someone is rough then they are nice. If someone is red then they are blue.
Bob is young.
@0: Bob is blue.[(triple1 OR ((triple4) -> rule2))] Bob is nice.[(triple2 OR ((triple5) -> rule1))] Bob is quiet.[(triple3)] Bob is red.[(triple4)] Bob is rough.[(triple5)] Bob is round.[(triple6)] Fiona is blue.[(triple7 OR ((triple9) -> rule2))] Fiona is quiet.[(triple8)] Fiona is red.[(triple9)] Fiona is round.[(triple10)] Fiona is young.[(triple11)] Gary is blue.[(triple12 OR ((triple14) -> rule2))] Gary is quiet.[(triple13)] Gary is red.[(triple14)] Gary is young.[(triple15)]