Bob is big. Bob is cold. Bob is furry. Bob is quiet. Bob is round. Harry is not big. Harry is cold. Harry is furry. Harry is quiet. Harry is rough. Harry is round. Harry is young. All cold people are young. Furry people are quiet.
Harry is cold.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2)] Bob is furry.[(triple3)] Bob is quiet.[(triple4 OR ((triple3) -> rule2))] Bob is round.[(triple5)] Harry is cold.[(triple7)] Harry is furry.[(triple8)] Harry is not big.[(triple6)] Harry is quiet.[(triple9 OR ((triple8) -> rule2))] Harry is rough.[(triple10)] Harry is round.[(triple11)] Harry is young.[(triple12 OR ((triple7) -> rule1))] @1: Bob is young.[(((triple2) -> rule1))]