Bob is cold. Bob is smart. Charlie is big. Charlie is cold. Charlie is quiet. Dave is big. Dave is nice. Dave is quiet. Dave is round. Dave is smart. Harry is big. Harry is cold. Harry is nice. Harry is round. Harry is smart. If someone is rough and quiet then they are nice. All smart people are quiet. If someone is rough then they are nice. Rough people are nice. All rough, nice people are cold. If Harry is rough and Harry is quiet then Harry is cold. If someone is smart then they are nice. If Bob is nice and Bob is quiet then Bob is rough.
Dave is cold.
@0: Bob is cold.[(triple1 OR ((((((triple2) -> rule7) ((triple2) -> rule2)) -> rule8) ((triple2) -> rule7)) -> rule5))] Bob is smart.[(triple2)] Charlie is big.[(triple3)] Charlie is cold.[(triple4)] Charlie is quiet.[(triple5)] Dave is big.[(triple6)] Dave is nice.[(triple7 OR ((triple10) -> rule7))] Dave is quiet.[(triple8 OR ((triple10) -> rule2))] Dave is round.[(triple9)] Dave is smart.[(triple10)] Harry is big.[(triple11)] Harry is cold.[(triple12)] Harry is nice.[(triple13 OR ((triple15) -> rule7))] Harry is round.[(triple14)] Harry is smart.[(triple15)] @1: Bob is nice.[(((triple2) -> rule7))] Bob is quiet.[(((triple2) -> rule2))] Harry is quiet.[(((triple15) -> rule2))] @2: Bob is rough.[(((((triple2) -> rule7) ((triple2) -> rule2)) -> rule8))]