Anne is big. Anne is nice. Anne is round. Anne is not smart. Bob is not big. Bob is cold. Bob is smart. Fiona is nice. Harry is not kind. Harry is red. Harry is round. Harry is smart. Nice people are cold. If Bob is big then Bob is smart. Smart people are not nice. If someone is kind and not big then they are red. If Fiona is nice then Fiona is not red. If Anne is smart and Anne is red then Anne is not kind.
Fiona is round.
@0: Anne is big.[(triple1)] Anne is nice.[(triple2)] Anne is not smart.[(triple4)] Anne is round.[(triple3)] Bob is cold.[(triple6)] Bob is not big.[(triple5)] Bob is smart.[(triple7)] Fiona is nice.[(triple8)] Harry is not kind.[(triple9)] Harry is red.[(triple10)] Harry is round.[(triple11)] Harry is smart.[(triple12)] @1: Anne is cold.[(((triple2) -> rule1))] Bob is not nice.[(((triple7) -> rule3))] Fiona is cold.[(((triple8) -> rule1))] Fiona is not red.[(((triple8) -> rule5))] Harry is not nice.[(((triple12) -> rule3))]