Anne is green. Dave is not big. Dave is cold. Fiona is furry. Fiona is red. Fiona is rough. Fiona is not round. Harry is cold. Harry is furry. Harry is not green. Harry is red. Harry is rough. All furry people are rough. If Harry is round and Harry is big then Harry is red. Round people are furry. If Dave is not rough then Dave is red. All green, rough people are red. If someone is furry and not rough then they are red. If someone is round then they are not cold. If someone is round and not red then they are not cold.
Fiona is rough.
@0: Anne is green.[(triple1)] Dave is cold.[(triple3)] Dave is not big.[(triple2)] Fiona is furry.[(triple4)] Fiona is not round.[(triple7)] Fiona is red.[(triple5)] Fiona is rough.[(triple6 OR ((triple4) -> rule1))] Harry is cold.[(triple8)] Harry is furry.[(triple9)] Harry is not green.[(triple10)] Harry is red.[(triple11)] Harry is rough.[(triple12 OR ((triple9) -> rule1))]