Charlie is cold. Charlie is kind. Charlie is nice. Charlie is red. Charlie is round. Charlie is smart. Charlie is white. Fiona is not cold. Fiona is kind. Fiona is nice. Fiona is red. Fiona is not round. Fiona is smart. Fiona is white. If something is white and not cold then it is smart. If Fiona is smart then Fiona is kind. If something is nice and not cold then it is red. If something is smart then it is kind. If Charlie is white then Charlie is nice. If Fiona is not cold then Fiona is white. If something is red and not cold then it is nice. If something is kind and not nice then it is round.
Fiona is kind.
@0: Charlie is cold.[(triple1)] Charlie is kind.[(triple2 OR ((triple6) -> rule4))] Charlie is nice.[(triple3 OR ((triple7) -> rule5))] Charlie is red.[(triple4)] Charlie is round.[(triple5)] Charlie is smart.[(triple6)] Charlie is white.[(triple7)] Fiona is kind.[(triple9 OR ((triple13) -> rule2) OR ((triple13) -> rule4) OR ((((triple14 triple8) -> rule1)) -> rule2) OR ((((triple14 triple8) -> rule1)) -> rule4) OR ((((((triple8) -> rule6) triple8) -> rule1)) -> rule2) OR ((((((triple8) -> rule6) triple8) -> rule1)) -> rule4))] Fiona is nice.[(triple10 OR ((triple11 triple8) -> rule7))] Fiona is not cold.[(triple8)] Fiona is not round.[(triple12)] Fiona is red.[(triple11 OR ((triple10 triple8) -> rule3))] Fiona is smart.[(triple13 OR ((triple14 triple8) -> rule1) OR ((((triple8) -> rule6) triple8) -> rule1))] Fiona is white.[(triple14 OR ((triple8) -> rule6))]