Bob is quiet. Bob is smart. Charlie is quiet. Charlie is red. Charlie is rough. Charlie is round. Gary is cold. Gary is red. Gary is rough. Harry is cold. Harry is furry. Harry is red. Quiet things are cold. All cold things are quiet. If something is cold then it is smart.
Gary is red.
@0: Bob is quiet.[(triple1)] Bob is smart.[(triple2 OR ((((triple1) -> rule1)) -> rule3))] Charlie is quiet.[(triple3)] Charlie is red.[(triple4)] Charlie is rough.[(triple5)] Charlie is round.[(triple6)] Gary is cold.[(triple7)] Gary is red.[(triple8)] Gary is rough.[(triple9)] Harry is cold.[(triple10)] Harry is furry.[(triple11)] Harry is red.[(triple12)] @1: Bob is cold.[(((triple1) -> rule1))] Charlie is cold.[(((triple3) -> rule1))] Gary is quiet.[(((triple7) -> rule2))] Gary is smart.[(((triple7) -> rule3))] Harry is quiet.[(((triple10) -> rule2))] Harry is smart.[(((triple10) -> rule3))] @2: Charlie is smart.[(((((triple3) -> rule1)) -> rule3))]