Anne is blue. Anne is nice. Charlie is kind. Charlie is nice. Charlie is round. Charlie is smart. Dave is smart. Fiona is blue. Fiona is quiet. Fiona is smart. All round people are smart. If Charlie is smart then Charlie is kind. If someone is nice and not smart then they are kind. Round, big people are nice. If someone is nice and big then they are not blue. If Fiona is kind and Fiona is quiet then Fiona is big.
Charlie is big.
@0: Anne is blue.[(triple1)] Anne is nice.[(triple2)] Charlie is kind.[(triple3 OR ((triple6) -> rule2) OR ((((triple5) -> rule1)) -> rule2))] Charlie is nice.[(triple4)] Charlie is round.[(triple5)] Charlie is smart.[(triple6 OR ((triple5) -> rule1))] Dave is smart.[(triple7)] Fiona is blue.[(triple8)] Fiona is quiet.[(triple9)] Fiona is smart.[(triple10)]