Anne is big. Anne is cold. Anne is kind. Anne is nice. Anne is quiet. Anne is red. Anne is white. Charlie is big. Charlie is cold. Charlie is kind. Charlie is white. Fiona is big. Fiona is cold. Fiona is quiet. Fiona is red. If someone is nice then they are kind. White people are quiet.
Charlie is red.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is kind.[(triple3 OR ((triple4) -> rule1))] Anne is nice.[(triple4)] Anne is quiet.[(triple5 OR ((triple7) -> rule2))] Anne is red.[(triple6)] Anne is white.[(triple7)] Charlie is big.[(triple8)] Charlie is cold.[(triple9)] Charlie is kind.[(triple10)] Charlie is white.[(triple11)] Fiona is big.[(triple12)] Fiona is cold.[(triple13)] Fiona is quiet.[(triple14)] Fiona is red.[(triple15)] @1: Charlie is quiet.[(((triple11) -> rule2))]