Charlie is big. Charlie is cold. Charlie is kind. Charlie is quiet. Charlie is red. Charlie is round. Charlie is smart. Fiona is big. Fiona is cold. Fiona is kind. Fiona is quiet. Fiona is red. Fiona is round. Fiona is smart. Cold things are round. If Fiona is round and Fiona is cold then Fiona is big. All big things are kind.
Fiona is not smart.
@0: Charlie is big.[(triple1)] Charlie is cold.[(triple2)] Charlie is kind.[(triple3 OR ((triple1) -> rule3))] Charlie is quiet.[(triple4)] Charlie is red.[(triple5)] Charlie is round.[(triple6 OR ((triple2) -> rule1))] Charlie is smart.[(triple7)] Fiona is big.[(triple8 OR ((triple13 triple9) -> rule2) OR ((((triple9) -> rule1) triple9) -> rule2))] Fiona is cold.[(triple9)] Fiona is kind.[(triple10 OR ((triple8) -> rule3) OR ((((triple13 triple9) -> rule2)) -> rule3) OR ((((((triple9) -> rule1) triple9) -> rule2)) -> rule3))] Fiona is quiet.[(triple11)] Fiona is red.[(triple12)] Fiona is round.[(triple13 OR ((triple9) -> rule1))] Fiona is smart.[(triple14)]