Charlie is blue. Charlie is cold. Charlie is green. Charlie is quiet. Charlie is red. Charlie is rough. Charlie is smart. Fiona is blue. Fiona is cold. Fiona is green. Fiona is quiet. Fiona is red. Fiona is rough. Fiona is smart. If Fiona is green and Fiona is rough then Fiona is red. All red people are green. If someone is blue then they are quiet.
Charlie is rough.
@0: Charlie is blue.[(triple1)] Charlie is cold.[(triple2)] Charlie is green.[(triple3 OR ((triple5) -> rule2))] Charlie is quiet.[(triple4 OR ((triple1) -> rule3))] Charlie is red.[(triple5)] Charlie is rough.[(triple6)] Charlie is smart.[(triple7)] Fiona is blue.[(triple8)] Fiona is cold.[(triple9)] Fiona is green.[(triple10 OR ((triple12) -> rule2))] Fiona is quiet.[(triple11 OR ((triple8) -> rule3))] Fiona is red.[(triple12 OR ((triple10 triple13) -> rule1))] Fiona is rough.[(triple13)] Fiona is smart.[(triple14)]