Anne is big. Anne is cold. Anne is not furry. Anne is kind. Anne is nice. Anne is not quiet. Bob is big. Bob is cold. Bob is furry. Bob is kind. Bob is quiet. Fiona is big. Fiona is cold. Fiona is kind. Fiona is nice. Fiona is not quiet. All cold, nice things are kind.
Fiona is furry.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is kind.[(triple4 OR ((triple2 triple5) -> rule1))] Anne is nice.[(triple5)] Anne is not furry.[(triple3)] Anne is not quiet.[(triple6)] Bob is big.[(triple7)] Bob is cold.[(triple8)] Bob is furry.[(triple9)] Bob is kind.[(triple10)] Bob is quiet.[(triple11)] Fiona is big.[(triple12)] Fiona is cold.[(triple13)] Fiona is kind.[(triple14 OR ((triple13 triple15) -> rule1))] Fiona is nice.[(triple15)] Fiona is not quiet.[(triple16)]