Bob is cold. Bob is furry. Bob is quiet. Bob is red. Bob is rough. Charlie is big. Charlie is cold. Charlie is furry. Charlie is green. Charlie is quiet. Harry is furry. Harry is red. If Bob is big then Bob is not cold. All quiet things are rough. If Harry is cold then Harry is red. If something is big and not rough then it is cold. If something is quiet and not big then it is cold. Furry things are cold.
Charlie is quiet.
@0: Bob is cold.[(triple1 OR ((triple2) -> rule6))] Bob is furry.[(triple2)] Bob is quiet.[(triple3)] Bob is red.[(triple4)] Bob is rough.[(triple5 OR ((triple3) -> rule2))] Charlie is big.[(triple6)] Charlie is cold.[(triple7 OR ((triple8) -> rule6))] Charlie is furry.[(triple8)] Charlie is green.[(triple9)] Charlie is quiet.[(triple10)] Harry is furry.[(triple11)] Harry is red.[(triple12 OR ((((triple11) -> rule6)) -> rule3))] @1: Charlie is rough.[(((triple10) -> rule2))] Harry is cold.[(((triple11) -> rule6))]