Bob is cold. Bob is smart. Charlie is big. Charlie is green. Charlie is quiet. Charlie is not red. Dave is cold. Dave is quiet. Dave is red. Harry is big. If someone is cold then they are quiet. All quiet people are green. If Harry is red then Harry is not green.
Bob is quiet.
@0: Bob is cold.[(triple1)] Bob is smart.[(triple2)] Charlie is big.[(triple3)] Charlie is green.[(triple4 OR ((triple5) -> rule2))] Charlie is not red.[(triple6)] Charlie is quiet.[(triple5)] Dave is cold.[(triple7)] Dave is quiet.[(triple8 OR ((triple7) -> rule1))] Dave is red.[(triple9)] Harry is big.[(triple10)] @1: Bob is quiet.[(((triple1) -> rule1))] Dave is green.[(((triple8) -> rule2) OR ((((triple7) -> rule1)) -> rule2))] @2: Bob is green.[(((((triple1) -> rule1)) -> rule2))]