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