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