Fiona is nice. Fiona is red. Fiona is round. Fiona is smart. Fiona is white. Harry is kind. Harry is not nice. Harry is red. Harry is round. Harry is smart. If someone is round then they are kind. If someone is nice then they are kind. If Fiona is kind and Fiona is not white then Fiona is smart. All round, kind people are not cold. If someone is kind then they are not cold. If someone is nice and cold then they are not red. If Harry is nice then Harry is cold. If Harry is round and Harry is not smart then Harry is red.
Fiona is red.
@0: Fiona is nice.[(triple1)] Fiona is red.[(triple2)] Fiona is round.[(triple3)] Fiona is smart.[(triple4)] Fiona is white.[(triple5)] Harry is kind.[(triple6 OR ((triple9) -> rule1))] Harry is not nice.[(triple7)] Harry is red.[(triple8)] Harry is round.[(triple9)] Harry is smart.[(triple10)] @1: Fiona is kind.[(((triple1) -> rule2) OR ((triple3) -> rule1))] Harry is not cold.[(((triple6) -> rule5) OR ((triple9 triple6) -> rule4) OR ((((triple9) -> rule1)) -> rule5) OR ((triple9 ((triple9) -> rule1)) -> rule4))] @2: Fiona is not cold.[(((((triple1) -> rule2)) -> rule5) OR ((((triple3) -> rule1)) -> rule5) OR ((triple3 ((triple1) -> rule2)) -> rule4) OR ((triple3 ((triple3) -> rule1)) -> rule4))]