Anne is furry. Anne is kind. Anne is red. Fiona is big. Fiona is cold. Fiona is furry. Fiona is kind. Fiona is quiet. Fiona is red. Fiona is young. Harry is big. Harry is cold. Harry is kind. Harry is quiet. Harry is young. If Harry is red then Harry is kind. If something is young then it is kind. If Anne is red then Anne is furry.
Harry is kind.
@0: Anne is furry.[(triple1 OR ((triple3) -> rule3))] Anne is kind.[(triple2)] Anne is red.[(triple3)] Fiona is big.[(triple4)] Fiona is cold.[(triple5)] Fiona is furry.[(triple6)] Fiona is kind.[(triple7 OR ((triple10) -> rule2))] Fiona is quiet.[(triple8)] Fiona is red.[(triple9)] Fiona is young.[(triple10)] Harry is big.[(triple11)] Harry is cold.[(triple12)] Harry is kind.[(triple13 OR ((triple15) -> rule2))] Harry is quiet.[(triple14)] Harry is young.[(triple15)]